Version 4.15.4

Version 4.15.3
- Provide the PyPI name for the python subpackage
2025-10-30 12:28:37 -06:00 · 2025-08-17 07:50:52 -06:00 · 2025-06-25 14:52:09 -06:00 · 2025-06-11 07:54:44 -06:00
2 changed files with 7 additions and 4 deletions
--- a/2
+++ b/2
@ -1 +1 @@
-SHA512 (z3-4.15.0.tar.gz) = 1e10d5e09611412b52dfd552d6b15eb1a819354ba074aa3427ce7b7431b0e3fff0f8bb7b84028c52ff7a6f01080e3d9cd1cacdc379c0dad1830fb7b36adeb445
+SHA512 (z3-4.15.4.tar.gz) = 3037a6c9077cf5b5bbc9db89973311e66233144ad6c8fc8da9fb2aa35bb34944068874868cf571b247130251a8361cbd1e24288768cc49e4166985cf0ca921a2
--- a/z3.spec
+++ b/z3.spec
@ -14,7 +14,7 @@
 %global giturl  https://github.com/Z3Prover/z3

 Name:           z3
-Version:        4.15.0
+Version:        4.15.4
 Release:        %autorelease
 Summary:        Satisfiability Modulo Theories (SMT) solver

@ -66,11 +66,11 @@ Obsoletes:      java-z3 < 4.8.17-5
 Library for applications that use z3 functionality.

 %package devel
-Summary:        Header files for build applications that use z3
+Summary:        Header files for building applications that use z3
 Requires:       z3-libs%{?_isa} = %{version}-%{release}

 %description devel
-Header files for build applications that use z3.
+Header files for building applications that use z3.

 %package doc
 # The content is MIT.
@ -147,6 +147,9 @@ Summary:        Python 3 interface to z3
 BuildArch:      noarch
 Requires:       z3-libs = %{version}-%{release}

+# Provide the PyPI name
+%py_provides python3-z3-solver
+
 %description -n python3-z3
 Python 3 interface to z3.
Author	SHA1	Message	Date
Jerry James	126bc2fd23	Version 4.15.4	2025-10-30 12:28:37 -06:00
Jerry James	a49f2ce8d9	Version 4.15.3 - Provide the PyPI name for the python subpackage	2025-08-17 07:50:52 -06:00
Jerry James	23bd2e8fca	Version 4.15.2	2025-06-25 14:52:09 -06:00
Jerry James	34a01cd3b0	Version 4.15.1	2025-06-11 07:54:44 -06:00