https://bugzilla.redhat.com/show_bug.cgi?id=1206826
--- Comment #12 from Fedora Update System <updates(a)fedoraproject.org> ---
z3-4.3.2-3.20150329git.29606b5.fc21 has been submitted as an update for Fedora
21.
https://admin.fedoraproject.org/updates/z3-4.3.2-3.20150329git.29606b5.fc21
--
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