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.
# lfsc [LFSC](https://github.com/cvc5/LFSC) is an [SMT](https://en.wikipedia.org/wiki/Satisfiability_modulo_theories) proof checker.