Changelog for yosys-devel-1534353158.ce3dc3e0-35.13.i586.rpm :

* Wed Feb 22 2017 David Lanzendörfer - yosys Fixing the issue with the prefix