File coq-rpmlintrc of Package coq - openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File coq-rpmlintrc of Package coq (Revision 5c00d37ae5c55ff53bf8115d1bd8918c)

Currently displaying revision 5c00d37ae5c55ff53bf8115d1bd8918c , Show latest

openSUSE Build Service is sponsored by