https://bugzilla.redhat.com/show_bug.cgi?id=1375765
--- Comment #12 from Fedora Update System updates@fedoraproject.org --- yosys-0.7-1.fc25 has been submitted as an update to Fedora 25. https://bodhi.fedoraproject.org/updates/FEDORA-2016-30a802e8c3