Tue, 20 Oct 2026 18:13:39 UTC | login

Information for build z3-5.1.0-2.fc45

ID17532
Package Namez3
Version5.1.0
Release2.fc45
Epoch
DraftFalse
Sourcegit+https://src.fedoraproject.org/rpms/z3.git#664822593fee70a5566b0cf4b202ca2841c31918
SummarySatisfiability Modulo Theories (SMT) solver
DescriptionZ3 is a satisfiability modulo theories (SMT) solver; given a set of constraints with variables, it reports a set of values for those variables that would meet the constraints. The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard. Z3 supports arithmetic, fixed-size bit-vectors, extensional arrays, datatypes, uninterpreted functions, and quantifiers.
git:https://github.com/Z3Prover/z3.git
Built byguoguo
State complete
Volume DEFAULT
StartedSun, 18 Oct 2026 07:51:42 UTC
CompletedSun, 18 Oct 2026 08:58:47 UTC
Taskbuild (f45, /rpms/z3.git:664822593fee70a5566b0cf4b202ca2841c31918)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/z3.git#664822593fee70a5566b0cf4b202ca2841c31918'}}
Tags
f45
RPMs
src
z3-5.1.0-2.fc45.src.rpm (info) (download)
noarch
python3-z3-5.1.0-2.fc45.noarch.rpm (info) (download)
z3-doc-5.1.0-2.fc45.noarch.rpm (info) (download)
riscv64
java-z3-5.1.0-2.fc45.riscv64.rpm (info) (download)
ocaml-z3-5.1.0-2.fc45.riscv64.rpm (info) (download)
ocaml-z3-devel-5.1.0-2.fc45.riscv64.rpm (info) (download)
z3-5.1.0-2.fc45.riscv64.rpm (info) (download)
z3-devel-5.1.0-2.fc45.riscv64.rpm (info) (download)
z3-libs-5.1.0-2.fc45.riscv64.rpm (info) (download)
java-z3-debuginfo-5.1.0-2.fc45.riscv64.rpm (info) (download)
ocaml-z3-debuginfo-5.1.0-2.fc45.riscv64.rpm (info) (download)
z3-debuginfo-5.1.0-2.fc45.riscv64.rpm (info) (download)
z3-debugsource-5.1.0-2.fc45.riscv64.rpm (info) (download)
z3-libs-debuginfo-5.1.0-2.fc45.riscv64.rpm (info) (download)
Logs
riscv64
mock_config.log
state.log
build.log
root.log
dnf5.log
noarch_rpmdiff.json
mock_output.log
hw_info.log
installed_pkgs.log
Changelog * Tue Sep 15 2026 Richard W.M. Jones <rjones@redhat.com> - 5.1.0-2 - OCaml 5.5.1 rebuild * Sat Aug 22 2026 Jerry James <loganjerry@gmail.com> - 5.1.0-1 - Version 5.1.0 * Fri Jul 24 2026 Jerry James <loganjerry@gmail.com> - 5.0.0-1 - Version 5.0.0 - Drop s390x doc workaround * Fri Jul 17 2026 Fedora Release Engineering <releng@fedoraproject.org> - 4.16.0-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild * Thu Jul 09 2026 Jerry James <loganjerry@gmail.com> - 4.16.0-3 - OCaml 5.5.0 rebuild - Use the cmake declarative buildsystem * Wed Jun 03 2026 Python Maint <python-maint@redhat.com> - 4.16.0-2 - Rebuilt for Python 3.15 * Tue Mar 03 2026 Jerry James <loganjerry@gmail.com> - 4.16.0-1 - Version 4.16.0 * Fri Feb 20 2026 Richard W.M. Jones <rjones@redhat.com> - 4.15.8-2 - OCaml 5.4.1 rebuild * Fri Feb 13 2026 Jerry James <loganjerry@gmail.com> - 4.15.8-1 - Version 4.15.8 * Tue Feb 10 2026 Jerry James <loganjerry@gmail.com> - 4.15.7-1 - Version 4.15.7 - Make the doc subpackage noarch again * Sat Jan 17 2026 Fedora Release Engineering <releng@fedoraproject.org> - 4.15.4-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Wed Jan 14 2026 Jerry James <loganjerry@gmail.com> - 4.15.4-2 - Reflow the description text - Be more precise about globbing in %files * Thu Oct 30 2025 Jerry James <loganjerry@gmail.com> - 4.15.4-1 - Version 4.15.4 * Mon Oct 13 2025 Richard W.M. Jones <rjones@redhat.com> - 4.15.3-3 - OCaml 5.4.0 rebuild * Fri Sep 19 2025 Python Maint <python-maint@redhat.com> - 4.15.3-2 - Rebuilt for Python 3.14.0rc3 bytecode * Sat Aug 16 2025 Jerry James <loganjerry@gmail.com> - 4.15.3-1 - Version 4.15.3 * Fri Aug 15 2025 Python Maint <python-maint@redhat.com> - 4.15.2-5 - Rebuilt for Python 3.14.0rc2 bytecode * Thu Aug 07 2025 Jerry James <loganjerry@gmail.com> - 4.15.2-4 - Stop building on 32-bit x86 - Provide the PyPI name for the python subpackage * Fri Jul 25 2025 Fedora Release Engineering <releng@fedoraproject.org> - 4.15.2-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Fri Jul 11 2025 Jerry James <loganjerry@gmail.com> - 4.15.2-2 - Rebuild to fix OCaml dependencies * Wed Jun 25 2025 Jerry James <loganjerry@gmail.com> - 4.15.2-1 - Version 4.15.2 * Wed Jun 11 2025 Jerry James <loganjerry@gmail.com> - 4.15.1-1 - Version 4.15.1 * Mon Jun 02 2025 Python Maint <python-maint@redhat.com> - 4.15.0-2 - Rebuilt for Python 3.14 * Wed May 21 2025 Jerry James <loganjerry@gmail.com> - 4.15.0-1 - Version 4.15.0 * Mon May 05 2025 Yaakov Selkowitz <yselkowi@redhat.com> - 4.14.1-2 - Specify Python bindings installation directory * Tue Mar 11 2025 Jerry James <loganjerry@gmail.com> - 4.14.1-1 - Version 4.14.1 * Tue Mar 04 2025 Jerry James <loganjerry@gmail.com> - 4.14.0-1 - Version 4.14.0 * Sun Jan 19 2025 Fedora Release Engineering <releng@fedoraproject.org> - 4.13.4-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Wed Jan 15 2025 Jerry James <loganjerry@gmail.com> - 4.13.4-2 - Move configuration steps to %conf * Fri Dec 27 2024 Jerry James <loganjerry@gmail.com> - 4.13.4-1 - Version 4.13.4 * Fri Oct 11 2024 Jerry James <loganjerry@gmail.com> - 4.13.3-1 - Version 4.13.3 * Fri Sep 27 2024 Jerry James <loganjerry@gmail.com> - 4.13.2-1 - Version 4.13.2