z3-4.13.0-1.fc40 |
Satisfiability Modulo Theories (SMT) solver |
linux/aarch64 |
z3-devel-4.13.0-1.fc40 |
Header files for build applications that use z3 |
linux/aarch64 |
z3-doc-4.13.0-1.fc40 |
API documentation for Z3 |
linux/aarch64 |
z3-libs-4.13.0-1.fc40 |
Library for applications that use z3 functionality |
linux/aarch64 |
zanshin-24.02.1-1.fc40 |
Todo/action management software |
linux/aarch64 |
zanshin-common-24.02.1-1.fc40 |
common files for zanshin |
linux/noarch |
zathura-0.5.6-2.fc40 |
A lightweight document viewer |
linux/aarch64 |
zathura-bash-completion-0.5.6-2.fc40 |
bash-completion files for zathura |
linux/noarch |
zathura-cb-0.1.10-8.fc40 |
Comic book support for zathura |
linux/aarch64 |
zathura-devel-0.5.6-2.fc40 |
Development files for the zathura PDF viewer |
linux/aarch64 |
zathura-djvu-0.2.9-13.fc40 |
DjVu support for zathura |
linux/aarch64 |
zathura-fish-completion-0.5.6-2.fc40 |
fish-completion files for zathura |
linux/noarch |
zathura-pdf-mupdf-0.4.1-8.fc40 |
PDF support for zathura via mupdf |
linux/aarch64 |
zathura-pdf-poppler-0.3.2-3.fc40 |
PDF support for zathura via poppler |
linux/aarch64 |
zathura-plugins-all-0.5.6-2.fc40 |
Zathura plugins (all plugins) |
linux/aarch64 |
zathura-ps-0.2.7-7.fc40 |
PS support for zathura via libspectre |
linux/aarch64 |
zathura-zsh-completion-0.5.6-2.fc40 |
zsh-completion files for zathura |
linux/noarch |
zlib-ng-2.1.6-5.fc40 |
Zlib replacement with optimizations |
linux/aarch64 |
zlib-ng-compat-2.1.6-5.fc40 |
Zlib implementation provided by zlib-ng |
linux/aarch64 |
zlib-ng-compat-devel-2.1.6-5.fc40 |
Development files for zlib-ng-compat |
linux/aarch64 |