[pkgdb] E was added for dwheeler
Fedora PackageDB
pkgdb at fedoraproject.org
Tue Aug 26 23:30:13 UTC 2008
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
More information about the fedora-extras-commits
mailing list