File coq-rpmlintrc of Package coq - openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File coq-rpmlintrc of Package coq (Revision 3c0abd8b1c6162732c364a49f92b776b)

Currently displaying revision 3c0abd8b1c6162732c364a49f92b776b , Show latest

openSUSE Build Service is sponsored by