File coq-rpmlintrc of Package coq - openSUSE Build Service

Please login to access the resource

Overview Repositories Revisions Requests Users Attributes Meta

File coq-rpmlintrc of Package coq (Revision 7b63639f8fc1d894b993a24a97d36dc3)

Currently displaying revision 7b63639f8fc1d894b993a24a97d36dc3 , Show latest

openSUSE Build Service is sponsored by