[Bug 1061902] Review Request: qepcad-B - Quantifier elimination tool
bugzilla at redhat.com
bugzilla at redhat.com
Fri Feb 14 20:07:38 UTC 2014
https://bugzilla.redhat.com/show_bug.cgi?id=1061902
--- Comment #7 from Fedora Update System <updates at fedoraproject.org> ---
qepcad-B-1.69-2.fc20 has been submitted as an update for Fedora 20.
https://admin.fedoraproject.org/updates/qepcad-B-1.69-2.fc20
--
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component
More information about the package-review
mailing list