[pkgdb] alt-ergo was added for amdunn

[Fedora PackageDB]

kevin has added Package alt-ergo with summary Alt-Ergo automatic theorem prover
kevin has approved Package alt-ergo
kevin has added a Fedora devel branch for alt-ergo with an owner of amdunn
kevin has approved alt-ergo in Fedora devel
kevin has approved Package alt-ergo
kevin has set commit to Approved for packager on alt-ergo (Fedora devel)
kevin has set build to Approved for packager on alt-ergo (Fedora devel)
kevin has set checkout to Approved for packager on alt-ergo (Fedora devel)
kevin has set commit to Approved for uberpackager on alt-ergo (Fedora devel)
kevin has set build to Approved for uberpackager on alt-ergo (Fedora devel)
kevin has set checkout to Approved for uberpackager on alt-ergo (Fedora devel)

To make changes to this package see:
  https://admin.fedoraproject.org/pkgdb/packages/name/alt-ergo