The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...

The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.

RPM resource yosys(x86-64)

Found 5 RPM for yosys(x86-64)

Package	Summary	Distribution	Download
yosys-0.55-1.20250707git60f126c.fc43.x86_64.html	Yosys Open SYnthesis Suite, including Verilog synthesizer	Fedora Rawhide for x86_64	yosys-0.55-1.20250707git60f126c.fc43.x86_64.rpm
yosys-0.54-1.20250610gite0747b7.fc42.x86_64.html	Yosys Open SYnthesis Suite, including Verilog synthesizer	Fedora 42 updates for x86_64	yosys-0.54-1.20250610gite0747b7.fc42.x86_64.rpm
yosys-0.52-1.20250411gitfee39a3.fc41.x86_64.html	Yosys Open SYnthesis Suite, including Verilog synthesizer	Fedora 41 updates for x86_64	yosys-0.52-1.20250411gitfee39a3.fc41.x86_64.rpm
yosys-0.50-1.20250211git6f9c515.fc42.x86_64.html	Yosys Open SYnthesis Suite, including Verilog synthesizer	Fedora 42 for x86_64	yosys-0.50-1.20250211git6f9c515.fc42.x86_64.rpm
yosys-0.45-1.20240905gite8951ab.fc41.x86_64.html	Yosys Open SYnthesis Suite, including Verilog synthesizer	Fedora 41 for x86_64	yosys-0.45-1.20240905gite8951ab.fc41.x86_64.rpm

Generated by rpm2html 1.6

Fabrice Bellet