https://bugzilla.redhat.com/show_bug.cgi?id=1530112
--- Comment #4 from Fedora Update System <[email protected]> --- yices-2.5.4-2.fc27 libpoly-0.1.4-1.fc27 has been submitted as an update to Fedora 27. https://bodhi.fedoraproject.org/updates/FEDORA-2018-97bef6cb30 -- 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 _______________________________________________ package-review mailing list -- [email protected] To unsubscribe send an email to [email protected]
