[pkgdb] ltl2ba was added for dwheeler

[Fedora PackageDB]

kevin has added Package ltl2ba with summary Fast translation from LTL formulas to Buchi automata
kevin has approved Package ltl2ba
kevin has added a Fedora devel branch for ltl2ba with an owner of dwheeler
kevin has approved ltl2ba in Fedora devel
kevin has approved Package ltl2ba

To make changes to this package see:
  https://admin.fedoraproject.org/pkgdb/acls/name/ltl2ba