https://bugzilla.redhat.com/show_bug.cgi?id=1192348
--- Comment #2 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- petersen's ghc-netlist-to-vhdl-0.3.2-1.fc25 completed http://koji.fedoraproject.org/koji/buildinfo?buildID=776510