[pkgdb] gappa was added for dwheeler

[Fedora PackageDB]

kevin has added Package gappa with summary Prove programs with floating-point or fixed-point arithmetic
kevin has approved Package gappa
kevin has added a Fedora devel branch for gappa with an owner of dwheeler
kevin has approved gappa in Fedora devel
kevin has approved Package gappa
kevin has set build to Approved for provenpackager on gappa (Fedora devel)
kevin has set checkout to Approved for provenpackager on gappa (Fedora devel)
kevin has set commit to Approved for provenpackager on gappa (Fedora devel)

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