| yakuake-26.04.2-1.fc44.x86_64 |
A drop-down terminal emulator |
Fedora 44 updates for x86_64 |
| yosys-0.66-1.20260601git86f2dde.fc44.x86_64 |
Yosys Open SYnthesis Suite, including Verilog synthesizer |
Fedora 44 updates for x86_64 |
| yosys-devel-0.66-1.20260601git86f2dde.fc44.x86_64 |
Development files to build Yosys synthesizer plugins |
Fedora 44 updates for x86_64 |
| yosys-doc-0.66-1.20260601git86f2dde.fc44.x86_64 |
Documentation for Yosys synthesizer |
Fedora 44 updates for x86_64 |
| yosys-share-0.66-1.20260601git86f2dde.fc44.noarch |
Architecture-independent Yosys files |
Fedora 44 updates for x86_64 |
| yaz-5.37.3-1.fc44.x86_64 |
Z39.50/SRW/SRU toolkit |
Fedora 44 updates for x86_64 |
| yaz-doc-5.37.3-1.fc44.noarch |
Documentation for yaz |
Fedora 44 updates for x86_64 |
| yosyshq-abc-0.65-1.20260512git5d51a5e.fc44.x86_64 |
Sequential logic synthesis and formal verification |
Fedora 44 updates for x86_64 |
| yosyshq-abc-devel-0.65-1.20260512git5d51a5e.fc44.x86_64 |
Headers and libraries for developing with ABC |
Fedora 44 updates for x86_64 |
| yosyshq-abc-libs-0.65-1.20260512git5d51a5e.fc44.x86_64 |
Library for sequential synthesis and verification |
Fedora 44 updates for x86_64 |
| yelp-49.1-1.fc44.x86_64 |
Help browser for the GNOME desktop |
Fedora 44 updates for x86_64 |
| yelp-devel-49.1-1.fc44.i686 |
Development files for yelp-libs |
Fedora 44 updates for x86_64 |
| yelp-devel-49.1-1.fc44.x86_64 |
Development files for yelp-libs |
Fedora 44 updates for x86_64 |
| yelp-libs-49.1-1.fc44.i686 |
Libraries for yelp |
Fedora 44 updates for x86_64 |
| yelp-libs-49.1-1.fc44.x86_64 |
Libraries for yelp |
Fedora 44 updates for x86_64 |
| yices-2.7.0-8.fc44.x86_64 |
SMT solver |
Fedora 44 updates for x86_64 |