Changelog for yosys-devel-0.7.1486917777.76c4ee0-lp151.2.4.x86_64.rpm :

* Tue Dec 22 2015 David Lanzendörfer - yosys- switching to GIT
* Tue Dec 08 2015 David Lanzendörfer - yosys- yosys port to openSUSE
* Mon Apr 06 2015 Gabriel.Gouvine - 0.5- Packaged the 0.5 version of yosys- Do not download ABC through the net but use an archive.