File coq-rpmlintrc of Package coq - openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File coq-rpmlintrc of Package coq (Revision 851a4d1c448d7a9a604e1cfa326c9d0e)

Currently displaying revision 851a4d1c448d7a9a604e1cfa326c9d0e , Show latest

openSUSE Build Service is sponsored by