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 |
zlib-ng-2.1.7-1.fc40 |
Zlib replacement with optimizations |
linux/aarch64![New](/linux/RPM/new.gif) |
zlib-ng-compat-2.1.7-1.fc40 |
Zlib implementation provided by zlib-ng |
linux/aarch64![New](/linux/RPM/new.gif) |
zlib-ng-compat-debuginfo-2.1.7-1.fc40 |
Debug information for package zlib-ng-compat |
linux/aarch64![New](/linux/RPM/new.gif) |
zlib-ng-compat-devel-2.1.7-1.fc40 |
Development files for zlib-ng-compat |
linux/aarch64![New](/linux/RPM/new.gif) |
zlib-ng-compat-static-2.1.7-1.fc40 |
Static libraries for zlib-ng-compat |
linux/aarch64![New](/linux/RPM/new.gif) |
zlib-ng-debuginfo-2.1.7-1.fc40 |
Debug information for package zlib-ng |
linux/aarch64![New](/linux/RPM/new.gif) |
zlib-ng-debugsource-2.1.7-1.fc40 |
Debug sources for package zlib-ng |
linux/aarch64![New](/linux/RPM/new.gif) |
zlib-ng-devel-2.1.7-1.fc40 |
Development files for zlib-ng |
linux/aarch64![New](/linux/RPM/new.gif) |