kevin set package ltl2ba summary to Fast translation from LTL formulas to Buchi automata To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/ltl2ba