Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
z3-4.13.0-1.fc40 | Satisfiability Modulo Theories (SMT) solver | linux/x86_64 | |
z3-devel-4.13.0-1.fc40 | Header files for build applications that use z3 | linux/i686 | |
z3-devel-4.13.0-1.fc40 | Header files for build applications that use z3 | linux/x86_64 | linux/i686 |
z3-doc-4.13.0-1.fc40 | API documentation for Z3 | linux/x86_64 | |
z3-libs-4.13.0-1.fc40 | Library for applications that use z3 functionality | linux/i686 | |
z3-libs-4.13.0-1.fc40 | Library for applications that use z3 functionality | linux/x86_64 | linux/i686 |
zanshin-24.02.1-1.fc40 | Todo/action management software | linux/x86_64 | |
zanshin-common-24.02.1-1.fc40 | common files for zanshin | linux/noarch | |
zcfan-1.3.0-2.fc40 | Zero-configuration fan daemon for ThinkPads | linux/x86_64 | |
zimpl-3.6.0-1.fc40 | Zuse Institut Mathematical Programming Language | linux/x86_64 | |
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/x86_64 | |
zypper-1.14.68-1.fc40 | Command line package manager using libzypp | linux/x86_64 | |
zypper-aptitude-1.14.68-1.fc40 | apt/aptitude CLI compatibility interface for Zypper | linux/noarch | |
zypper-log-1.14.68-1.fc40 | Zypper log file command line tool | linux/noarch |
Generated by rpm2html 1.8.1
Fabrice Bellet, Thu Jun 27 00:19:20 2024