[packages/z3] - updated to 4.12.6

[qboosh]

commit a6ebe28f3441b6269733b5b70d84f6e9b958f012
Author: Jakub Bogusz <qboosh at pld-linux.org>
Date:   Mon Aug 19 06:19:19 2024 +0200

    - updated to 4.12.6

 z3-includes.patch | 11 -----------
 z3.spec           | 11 ++++-------
 2 files changed, 4 insertions(+), 18 deletions(-)
---
diff --git a/z3.spec b/z3.spec
index bd50a87..0f8a207 100644
--- a/z3.spec
+++ b/z3.spec
@@ -3,7 +3,7 @@
 %bcond_without	apidocs		# Doxygen documentation
 %bcond_with	dotnet		# .NET API (requires MS .NET SDK + mono)
 %bcond_without	ocaml		# OCaml API
-%bcond_without	ocaml_opt	# skip building native optimized binaries (bytecode is always built)
+%bcond_without	ocaml_opt	# native optimized binaries (bytecode is always built)
 %bcond_with	sse2		# SSE2 instructions
 
 # not yet available on x32 (ocaml 4.02.1), update when upstream will support it
@@ -17,16 +17,15 @@
 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.12.2
-Release:	2
+Version:	4.12.6
+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:	4061317f7948c19abd13041c5a32b057
+# Source0-md5:	0481db0fdd2ec05417d511dba271b702
 Patch0:		%{name}-pld.patch
 Patch1:		%{name}-sse.patch
-Patch2:		%{name}-includes.patch
 URL:		https://github.com/Z3Prover/z3
 BuildRequires:	cmake >= 3.4
 %{?with_apidocs:BuildRequires:	doxygen}
@@ -134,7 +133,6 @@ API języka Python do biblioteki dowodzenia twierdzeń Z3.
 %setup -q -n z3-z3-%{version}
 %patch0 -p1
 %patch1 -p1
-%patch2 -p1
 
 %if %{without sse2}
 # no cmake option to disable, just architecture+compiler check
@@ -281,7 +279,6 @@ rm -rf $RPM_BUILD_ROOT
 %files -n java-z3
 %defattr(644,root,root,755)
 %attr(755,root,root) %{_libdir}/libz3java.so
-%{_javadir}/com.microsoft.z3-*.*.*.*.jar
 %{_javadir}/com.microsoft.z3.jar
 
 %if %{with ocaml}
diff --git a/z3-includes.patch b/z3-includes.patch
deleted file mode 100644
index 3a6784a..0000000
--- a/z3-includes.patch
+++ /dev/null
@@ -1,11 +0,0 @@
---- z3-z3-4.12.2/src/util/tptr.h.orig	2023-05-12 21:59:04.000000000 +0200
-+++ z3-z3-4.12.2/src/util/tptr.h	2023-11-11 19:34:59.863929393 +0100
-@@ -19,6 +19,8 @@ Revision History:
- 
- #pragma once
- 
-+#include <cstdint>
-+
- #include "util/machine.h"
- 
- #define TAG_SHIFT        PTR_ALIGNMENT
================================================================

---- gitweb:

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