From e0626d57352c03a344a2a7e9e7b21d4c8b04da3b Mon Sep 17 00:00:00 2001
From: 4fury-c3440d8 <icu7c1@gmail.com>
Date: Wed, 24 Mar 2021 05:23:55 +0300
Subject: [PATCH] z3.

---
 programming/library/z3/pspec.xml | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

diff --git a/programming/library/z3/pspec.xml b/programming/library/z3/pspec.xml
index d2a6f1ab1e..811dd6cf30 100644
--- a/programming/library/z3/pspec.xml
+++ b/programming/library/z3/pspec.xml
@@ -13,8 +13,8 @@
 		<PartOf>programming.library</PartOf>
 		<Summary>The Z3 Theorem Prover.</Summary>
 		<Description>Z3 is a theorem prover from Microsoft Research.</Description>
-		<Archive sha1sum="6586ddd6388ddaa73a387b9d13f299169c11674e" type="targz">
-			https://github.com/Z3Prover/z3/archive/z3-4.8.9.tar.gz
+		<Archive sha1sum="daaa94014a3ab45c17a75adb7446a28ac9de2495" type="targz">
+			https://github.com/Z3Prover/z3/archive/z3-4.8.10.tar.gz
 		</Archive>
 		<BuildDependencies>
 			<Dependency>cmake</Dependency>
@@ -30,7 +30,7 @@
 		<RuntimeDependencies>
 			<Dependency>gmp</Dependency>
 			<Dependency>libgcc</Dependency>
-			<Dependency>python3</Dependency>
+			<!-- <Dependency>python3</Dependency> -->
 		</RuntimeDependencies>
 		<Files>
 			<Path fileType="executable">/usr/bin</Path>
@@ -59,10 +59,18 @@
 		<Files>
 			<Path fileType="header">/usr/include</Path>
 			<Path fileType="library">/usr/lib/pkgconfig</Path>
+			<Path fileType="library">/usr/lib/cmake</Path>
 		</Files>
 	</Package>
 
 	<History>
+		<Update release="2">
+			<Date>2021-03-24</Date>
+			<Version>4.8.10</Version>
+			<Comment>Version bump.</Comment>
+			<Name>fury</Name>
+			<Email>wascheme@tuta.io</Email>
+		</Update>
 		<Update release="1">
 			<Date>2020-10-08</Date>
 			<Version>4.8.9</Version>