These two fields allow to specify a different default assignee for ticket opened against this package in bugzilla. Note: The EPEL field is always displayed for packages in the 'rpms' namespace regardless of whether it is used in bugzilla or not.
Coq-Library.pdf.gz Coq-RecTutorial.pdf.gz Coq-Reference-Manual.pdf.gz Coq-Tutorial.v.pdf.gz coq-8.1pl4.tar.gz coq-refman-html.tar.gz coq-stdlib-html.tar.gz