RPM shipped by Fedora Project

yosys-0.52-1.20250411gitfee39a3.fc42.aarch64	Yosys Open SYnthesis Suite, including Verilog synthesizer	Fedora 42 testing updates for aarch64
yosys-devel-0.52-1.20250411gitfee39a3.fc42.aarch64	Development files to build Yosys synthesizer plugins	Fedora 42 testing updates for aarch64
yosys-doc-0.52-1.20250411gitfee39a3.fc42.aarch64	Documentation for Yosys synthesizer	Fedora 42 testing updates for aarch64
yosys-share-0.52-1.20250411gitfee39a3.fc42.noarch	Architecture-independent Yosys files	Fedora 42 testing updates for aarch64
yosyshq-abc-0.52-1.20250411gite55d316.fc42.aarch64	Sequential logic synthesis and formal verification	Fedora 42 testing updates for aarch64
yosyshq-abc-devel-0.52-1.20250411gite55d316.fc42.aarch64	Headers and libraries for developing with ABC	Fedora 42 testing updates for aarch64
yosyshq-abc-libs-0.52-1.20250411gite55d316.fc42.aarch64	Library for sequential synthesis and verification	Fedora 42 testing updates for aarch64

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Apr 23 01:50:05 2025