z3-4.13.0-1.fc40 |
Satisfiability Modulo Theories (SMT) solver |
linux/aarch64 |
z3-debuginfo-4.13.0-1.fc40 |
Debug information for package z3 |
linux/aarch64 |
z3-debugsource-4.13.0-1.fc40 |
Debug sources for package z3 |
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 |
z3-libs-debuginfo-4.13.0-1.fc40 |
Debug information for package z3-libs |
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 |
zanshin-debuginfo-24.02.1-1.fc40 |
Debug information for package zanshin |
linux/aarch64 |
zanshin-debugsource-24.02.1-1.fc40 |
Debug sources for package zanshin |
linux/aarch64 |
zeal-0.7.1-1.fc40 |
Offline documentation browser inspired by Dash |
linux/aarch64 |
zypp-common-17.31.32-1.fc40 |
Common files for ZYpp |
linux/noarch |
zypp-plugins-17.31.32-1.fc40 |
Plugins for libzypp users |
linux/noarch |
zypp-tools-17.31.32-1.fc40 |
Tools for libzypp users |
linux/aarch64 |
zypp-tools-debuginfo-17.31.32-1.fc40 |
Debug information for package zypp-tools |
linux/aarch64 |
zypper-1.14.68-1.fc40 |
Command line package manager using libzypp |
linux/aarch64 |
zypper-aptitude-1.14.68-1.fc40 |
apt/aptitude CLI compatibility interface for Zypper |
linux/noarch |
zypper-debuginfo-1.14.68-1.fc40 |
Debug information for package zypper |
linux/aarch64 |