RPM shipped by Fedora Project

yosys-0.57-1.20250904gitcec48c6.fc42.x86_64	Yosys Open SYnthesis Suite, including Verilog synthesizer	Fedora 42 testing updates for x86_64
yosys-devel-0.57-1.20250904gitcec48c6.fc42.x86_64	Development files to build Yosys synthesizer plugins	Fedora 42 testing updates for x86_64
yosys-doc-0.57-1.20250904gitcec48c6.fc42.x86_64	Documentation for Yosys synthesizer	Fedora 42 testing updates for x86_64
yosys-share-0.57-1.20250904gitcec48c6.fc42.noarch	Architecture-independent Yosys files	Fedora 42 testing updates for x86_64
yosyshq-abc-0.57-1.20250810git8827baf.fc42.x86_64	Sequential logic synthesis and formal verification	Fedora 42 testing updates for x86_64
yosyshq-abc-devel-0.57-1.20250810git8827baf.fc42.i686	Headers and libraries for developing with ABC	Fedora 42 testing updates for x86_64
yosyshq-abc-devel-0.57-1.20250810git8827baf.fc42.x86_64	Headers and libraries for developing with ABC	Fedora 42 testing updates for x86_64
yosyshq-abc-libs-0.57-1.20250810git8827baf.fc42.i686	Library for sequential synthesis and verification	Fedora 42 testing updates for x86_64
yosyshq-abc-libs-0.57-1.20250810git8827baf.fc42.x86_64	Library for sequential synthesis and verification	Fedora 42 testing updates for x86_64

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Sep 12 01:11:43 2025