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.
[Desktop Entry] Name=Why3 GenericName=Software Verifier Comment=Software verification platform Exec=why3 ide %f Icon=why3 Type=Application Terminal=false Categories=Development;