File coq-rpmlintrc of Package coq - openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File coq-rpmlintrc of Package coq (Revision 083b56dac6864f8070a6b0273d4fc294)

Currently displaying revision 083b56dac6864f8070a6b0273d4fc294 , Show latest

openSUSE Build Service is sponsored by