File coq-rpmlintrc of Package coq - openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File coq-rpmlintrc of Package coq (Revision e7526201614b94aad719fc9aa42a8468)

Currently displaying revision e7526201614b94aad719fc9aa42a8468 , Show latest

openSUSE Build Service is sponsored by