[packages/z3] - updated to 4.16.0 (new soname; dropped python2 module - no users, was already broken in 4.15)

[qboosh]

commit 5e2b48ce8480e5ffe9868af0c5e9f5b3a396dd50
Author: Jakub Bogusz <qboosh at pld-linux.org>
Date:   Fri Apr 10 18:24:31 2026 +0200

    - updated to 4.16.0 (new soname; dropped python2 module - no users, was already broken in 4.15)

 z3.spec | 31 ++++++-------------------------
 1 file changed, 6 insertions(+), 25 deletions(-)
---
diff --git a/z3.spec b/z3.spec
index 329c276..fd272ad 100644
--- a/z3.spec
+++ b/z3.spec
@@ -4,7 +4,6 @@
 %bcond_with	dotnet		# .NET API (requires MS .NET SDK + mono)
 %bcond_without	ocaml		# OCaml API
 %bcond_without	ocaml_opt	# native optimized binaries (bytecode is always built)
-%bcond_without	python2		# Python2 modules
 %bcond_with	sse2		# SSE2 instructions
 
 # not yet available on x32 (ocaml 4.02.1), update when upstream will support it
@@ -20,13 +19,13 @@
 Summary:	High-performance theorem prover developed at Microsoft Research
 Summary(pl.UTF-8):	Wydajne narzędzie do dowodzenia twierdzeń tworzone przez Microsoft Research
 Name:		z3
-Version:	4.15.2
+Version:	4.16.0
 Release:	1
 License:	MIT
 Group:		Applications/Engineering
 #Source0Download: https://github.com/Z3Prover/z3/releases
 Source0:	https://github.com/Z3Prover/z3/archive/z3-%{version}.tar.gz
-# Source0-md5:	edce98c601844cd0883d9f552ba8232c
+# Source0-md5:	d93c36651adbbcd5e3a5350c5075660b
 Patch0:		%{name}-pld.patch
 Patch1:		%{name}-sse.patch
 URL:		https://github.com/Z3Prover/z3
@@ -37,18 +36,14 @@ BuildRequires:	gmp-c++-devel
 %buildrequires_jdk
 %{?use_jdk:BuildRequires:	%{use_jdk}-jre-base-X11}
 BuildRequires:	libgomp-devel
-# C++20
-BuildRequires:	libstdc++-devel >= 6:8
+# C++20 + std::format
+BuildRequires:	libstdc++-devel >= 6:13
 %{?with_dotnet:BuildRequires:	mono-devel}
 %if %{with ocaml}
 BuildRequires:	ocaml
 BuildRequires:	ocaml-findlib
 BuildRequires:	ocaml-zarith-devel
 %endif
-%if %{with python2}
-BuildRequires:	python >= 1:2.7
-BuildRequires:	python-modules >= 1:2.7
-%endif
 BuildRequires:	python3 >= 1:3.2
 BuildRequires:	python3-modules >= 1:3.2
 BuildRequires:	rpm-build >= 4.6
@@ -148,6 +143,7 @@ Summary:	Python 3 API for Z3 library
 Summary(pl.UTF-8):	API języka Python 3 do biblioteki Z3
 Group:		Libraries/Python
 Requires:	%{name}%{?_isa} = %{version}-%{release}
+Obsoletes:	python-z3 < 4.16
 
 %description -n python3-z3
 Python 3 API for Z3 theorem prover library.
@@ -249,15 +245,6 @@ rm -rf $RPM_BUILD_ROOT
 %{__make} -C build-cmake install \
 	DESTDIR=$RPM_BUILD_ROOT
 
-%if %{with python2}
-install -d $RPM_BUILD_ROOT%{py_sitescriptdir}
-cp -pr $RPM_BUILD_ROOT%{py3_sitescriptdir}/z3 $RPM_BUILD_ROOT%{py_sitescriptdir}/z3
-
-%py_comp $RPM_BUILD_ROOT%{py_sitescriptdir}
-%py_ocomp $RPM_BUILD_ROOT%{py_sitescriptdir}
-%py_postclean
-%endif
-
 %py3_comp $RPM_BUILD_ROOT%{py3_sitescriptdir}
 %py3_ocomp $RPM_BUILD_ROOT%{py3_sitescriptdir}
 
@@ -295,7 +282,7 @@ rm -rf $RPM_BUILD_ROOT
 %defattr(644,root,root,755)
 %doc LICENSE.txt README.md RELEASE_NOTES.md
 %attr(755,root,root) %{_libdir}/libz3.so.*.*.*.*
-%ghost %{_libdir}/libz3.so.4.15
+%ghost %{_libdir}/libz3.so.4.16
 %attr(755,root,root) %{_bindir}/z3
 
 %files devel
@@ -340,12 +327,6 @@ rm -rf $RPM_BUILD_ROOT
 %endif
 %endif
 
-%if %{with python2}
-%files -n python-z3
-%defattr(644,root,root,755)
-%{py_sitescriptdir}/z3
-%endif
-
 %files -n python3-z3
 %defattr(644,root,root,755)
 %{py3_sitescriptdir}/z3
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/packages/z3.git/commitdiff/5e2b48ce8480e5ffe9868af0c5e9f5b3a396dd50