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