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 565afed2bf55a3e245a520f124a73e54)

Currently displaying revision 565afed2bf55a3e245a520f124a73e54 , Show latest

openSUSE Build Service is sponsored by