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.
48f8ea1
- New upstream release - Seems documentation license has changed or wasn't explicitly stated before, fixed (is ok Fedora license) - Added versioning to documentation - Removed special OCaml, TeX logic for Fedora < 9 (no longer relevant) - Dropped makefile patch for compiling grammar.cma (fixed in Coq 8.2) - Dropped cmxa-install patch (fixed in Coq 8.2) - Changed makefile-strip patch and name (not yet fixed upstream...) - Changed check.patch -> coq-check-(version).patch, slightly changed for 8.2 (not yet fixed upstream...) - Dropped parser-renaming makefile-parser.patch, parser-man.patch (fixed in Coq 8.2) - Dropped coq-lablgtk-2.12.patch (fixed in Coq 8.2) - Changed way source (.v) files are installed - Stopped addition of other icon file (icon fixed in Coq 8.2) - Bytecode executables are now "clean" (not build with custom -> don't need to configure prelink around these) - define -> global - Added ExcludeArch sparc64