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-RecTutorial.pdf.gz Coq-Library-8.2.pdf.gz Coq-Reference-Manual-8.2.pdf.gz Coq-Tutorial-8.2.pdf.gz coq-8.2-1.tar.gz coq-refman-html-8.2.tar.gz coq-stdlib-html-8.2.tar.gz