File coq.desktop of Package coq - openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File coq.desktop of Package coq (Revision 7b63639f8fc1d894b993a24a97d36dc3)

Currently displaying revision 7b63639f8fc1d894b993a24a97d36dc3 , Show latest

openSUSE Build Service is sponsored by