File coq.xml of Package coq - openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File coq.xml of Package coq (Revision 547c6ade113a4a7d659ba8ab63341521)

Currently displaying revision 547c6ade113a4a7d659ba8ab63341521 , Show latest

openSUSE Build Service is sponsored by