https://bugzilla.redhat.com/show_bug.cgi?id=1375765
Fedora Update System updates@fedoraproject.org changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|MODIFIED |CLOSED Resolution|--- |ERRATA Last Closed| |2016-12-11 14:26:50
--- Comment #15 from Fedora Update System updates@fedoraproject.org --- yosys-0.7-1.fc25 has been pushed to the Fedora 25 stable repository. If problems still persist, please make note of it in this bug report.