| yices-tools-2.6.5-8.fc42.ppc64le |
Command line tools that use the yices library |
Fedora 42 updates for ppc64le |
yosys-0.54-1.20250610gite0747b7.fc42.ppc64le |
Yosys Open SYnthesis Suite, including Verilog synthesizer |
Fedora 42 updates for ppc64le |
| yosys-devel-0.54-1.20250610gite0747b7.fc42.ppc64le |
Development files to build Yosys synthesizer plugins |
Fedora 42 updates for ppc64le |
| yosys-doc-0.54-1.20250610gite0747b7.fc42.ppc64le |
Documentation for Yosys synthesizer |
Fedora 42 updates for ppc64le |
| yosys-share-0.54-1.20250610gite0747b7.fc42.noarch |
Architecture-independent Yosys files |
Fedora 42 updates for ppc64le |
| yosyshq-abc-0.52-1.20250411gite55d316.fc42.ppc64le |
Sequential logic synthesis and formal verification |
Fedora 42 updates for ppc64le |
| yosyshq-abc-devel-0.52-1.20250411gite55d316.fc42.ppc64le |
Headers and libraries for developing with ABC |
Fedora 42 updates for ppc64le |
| yosyshq-abc-libs-0.52-1.20250411gite55d316.fc42.ppc64le |
Library for sequential synthesis and verification |
Fedora 42 updates for ppc64le |
| yt-dlp-2025.05.22-2.fc42.noarch |
A command-line program to download videos from online video platforms |
Fedora 42 updates for ppc64le |
| yt-dlp+default-2025.05.22-2.fc42.noarch |
Metapackage for yt-dlp: default extras |
Fedora 42 updates for ppc64le |
| yt-dlp+secretstorage-2025.05.22-2.fc42.noarch |
Metapackage for yt-dlp: secretstorage extras |
Fedora 42 updates for ppc64le |
| yt-dlp-bash-completion-2025.05.22-2.fc42.noarch |
Bash completion for yt-dlp |
Fedora 42 updates for ppc64le |
| yt-dlp-fish-completion-2025.05.22-2.fc42.noarch |
Fish completion for yt-dlp |
Fedora 42 updates for ppc64le |
| yt-dlp-zsh-completion-2025.05.22-2.fc42.noarch |
Zsh completion for yt-dlp |
Fedora 42 updates for ppc64le |
| yudit-3.1.0-1.fc42.ppc64le |
Unicode Text Editor |
Fedora 42 updates for ppc64le |
| yudit-data-3.1.0-1.fc42.noarch |
Yudit Unicode Text Processor - data files |
Fedora 42 updates for ppc64le |
| yudit-doc-3.1.0-1.fc42.noarch |
Yudit Unicode Text Processor - documentation |
Fedora 42 updates for ppc64le |
| yudit-fonts-1.4-2.fc42.noarch |
A Latin and Old Hungarian Rovasiras Font |
Fedora 42 updates for ppc64le |
| yyjson-0.11.1-1.fc42.ppc64le |
A high performance JSON library written in ANSI C |
Fedora 42 updates for ppc64le |
| yyjson-devel-0.11.1-1.fc42.ppc64le |
Development files for yyjson |
Fedora 42 updates for ppc64le |