Changelog for yosys-abc-0.0+git20201125.4f5f73d1-lp155.2.1.x86_64.rpm :

* Sun Dec 20 2020 Stefan Brüns - Initial separate package version (formerly bundled in yosys).