| 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 | |
| zeal-0.7.1-1.fc40 | Offline documentation browser inspired by Dash | 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, Sat Jun 1 00:24:52 2024