[pkgdb] qepcad-B was added for jjames
Fedora PackageDB
pkgdb at fedoraproject.org
Fri Feb 14 18:08:43 UTC 2014
limb has added Package qepcad-B with summary Quantifier elimination tool
limb has approved Package qepcad-B
limb has added a Fedora devel branch for qepcad-B with an owner of jjames
limb has approved qepcad-B in Fedora devel
limb has approved Package qepcad-B
limb has set checkout to Approved for provenpackager on qepcad-B (Fedora devel)
limb has set commit to Approved for provenpackager on qepcad-B (Fedora devel)
To make changes to this package see:
https://admin.fedoraproject.org/pkgdb/acls/name/qepcad-B
More information about the scm-commits
mailing list