[pkgdb] E was added for dwheeler

[Fedora PackageDB]

kevin has added Package E with summary Equational Theorem Prover
kevin has approved Package E
kevin has added a Fedora devel branch for E with an owner of dwheeler
kevin has approved E in Fedora devel
kevin has approved Package E
kevin has set commit to Approved for packager on E (Fedora devel)
kevin has set build to Approved for packager on E (Fedora devel)
kevin has set checkout to Approved for packager on E (Fedora devel)
kevin has set commit to Approved for uberpackager on E (Fedora devel)
kevin has set build to Approved for uberpackager on E (Fedora devel)
kevin has set checkout to Approved for uberpackager on E (Fedora devel)

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