File fr.inria.coq.coqide.desktop of Package coq - openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File fr.inria.coq.coqide.desktop of Package coq (Revision faf44ad9a97711297329236d0fa389dd)

Currently displaying revision faf44ad9a97711297329236d0fa389dd , Show latest

openSUSE Build Service is sponsored by