| z3-4.16.0-1.fc44 |
Satisfiability Modulo Theories (SMT) solver |
linux/s390x |
| z3-devel-4.16.0-1.fc44 |
Header files for building applications that use z3 |
linux/s390x |
| z3-doc-4.16.0-1.fc44 |
API documentation for Z3 |
linux/noarch |
| z3-libs-4.16.0-1.fc44 |
Library for applications that use z3 functionality |
linux/s390x |
| zathura-2026.07.18-1.fc44 |
A lightweight document viewer |
linux/s390x |
| zathura-bash-completion-2026.07.18-1.fc44 |
bash-completion files for zathura |
linux/noarch |
| zathura-cb-2026.07.18-1.fc44 |
Comic book support for zathura |
linux/s390x |
| zathura-devel-2026.07.18-1.fc44 |
Development files for the zathura PDF viewer |
linux/s390x |
| zathura-djvu-2026.07.18-1.fc44 |
DjVu support for zathura |
linux/s390x |
| zathura-fish-completion-2026.07.18-1.fc44 |
fish-completion files for zathura |
linux/noarch |
| zathura-pdf-mupdf-2026.07.18-1.fc44 |
PDF support for zathura via mupdf |
linux/s390x |
| zathura-pdf-poppler-2026.07.18-1.fc44 |
PDF support for zathura via poppler |
linux/s390x |
| zathura-plugins-all-2026.07.18-1.fc44 |
Zathura plugins (all plugins) |
linux/s390x |
| zathura-ps-2026.07.18-1.fc44 |
PS support for zathura via libspectre |
linux/s390x |
| zathura-zsh-completion-2026.07.18-1.fc44 |
zsh-completion files for zathura |
linux/noarch |
| zenity-4.2.2-1.fc44 |
Display dialog boxes from shell scripts |
linux/s390x |
| zenon-0.8.5-39.fc44 |
Automated theorem prover for first-order classical logic |
linux/s390x |
| zlib-ng-2.3.3-3.fc44 |
Zlib replacement with optimizations |
linux/s390x |
| zlib-ng-compat-2.3.3-3.fc44 |
Zlib implementation provided by zlib-ng |
linux/s390x |