File _constraints of Package coq - openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File _constraints of Package coq (Revision f1d85d08c795b0ce16cb1083b9fa8484)

Currently displaying revision f1d85d08c795b0ce16cb1083b9fa8484 , Show latest

openSUSE Build Service is sponsored by