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.
The Flocq library provides vernacular files formalizing multi-radix multi-precision fixed- and floating-point arithmetic for the Coq proof assistant.