File coq.desktop of Package coq - openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File coq.desktop of Package coq (Revision 65ca3bad456f22a8df5e4c76c6e60c8e)

Currently displaying revision 65ca3bad456f22a8df5e4c76c6e60c8e , Show latest

openSUSE Build Service is sponsored by