Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

RPM shipped by Fedora Project

z3-4.16.0-1.fc44.s390x Satisfiability Modulo Theories (SMT) solver Fedora 44 testing updates for s390x
z3-devel-4.16.0-1.fc44.s390x Header files for building applications that use z3 Fedora 44 testing updates for s390x
z3-doc-4.16.0-1.fc44.noarch API documentation for Z3 Fedora 44 testing updates for s390x
z3-libs-4.16.0-1.fc44.s390x Library for applications that use z3 functionality Fedora 44 testing updates for s390x
zenity-4.2.2-1.fc44.s390x Display dialog boxes from shell scripts Fedora 44 testing updates for s390x
zenon-0.8.5-39.fc44.s390x Automated theorem prover for first-order classical logic Fedora 44 testing updates for s390x
zlib-ng-2.3.3-3.fc44.s390x Zlib replacement with optimizations Fedora 44 testing updates for s390x
zlib-ng-compat-2.3.3-3.fc44.s390x Zlib implementation provided by zlib-ng Fedora 44 testing updates for s390x
zlib-ng-compat-devel-2.3.3-3.fc44.s390x Development files for zlib-ng-compat Fedora 44 testing updates for s390x
zlib-ng-compat-static-2.3.3-3.fc44.s390x Static libraries for zlib-ng-compat Fedora 44 testing updates for s390x
zlib-ng-devel-2.3.3-3.fc44.s390x Development files for zlib-ng Fedora 44 testing updates for s390x
znc-1.10.3-1.fc44.s390xNew An advanced IRC bouncer Fedora 44 testing updates for s390x
znc-clientbuffer-0-0.33.20190129git9766a4a.fc44.s390xNew ZNC module for client specific buffers Fedora 44 testing updates for s390x
znc-devel-1.10.3-1.fc44.s390xNew Development files needed to compile ZNC modules Fedora 44 testing updates for s390x
znc-modperl-1.10.3-1.fc44.s390xNew Perl module for ZNC Fedora 44 testing updates for s390x
znc-modpython-1.10.3-1.fc44.s390xNew Python3 module for ZNC Fedora 44 testing updates for s390x
znc-modtcl-1.10.3-1.fc44.s390xNew TCL module for ZNC Fedora 44 testing updates for s390x

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Sep 17 03:07:58 2026