python3 rebuild

2023-11-04 09:46:02 +03:00
parent 929bb11da5
commit 7bd384b2e7
5 changed files with 39 additions and 6 deletions
@@ -13,9 +13,7 @@
 		<PartOf>programming.library</PartOf>
 		<Summary>The Z3 Theorem Prover.</Summary>
 		<Description>Z3 is a theorem prover from Microsoft Research.</Description>
-		<Archive sha1sum="98377064e474567d37400a636dfc80602c4cad3d" type="targz">
-			https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.12.1.tar.gz
-		</Archive>
+		<Archive sha1sum="449bb09a5842bdff80c3c7b6275dad1b11407c3c" type="targz">https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.12.2.tar.gz</Archive>
 		<BuildDependencies>
 			<Dependency>cmake</Dependency>
 			<Dependency>ninja</Dependency>
@@ -66,7 +64,14 @@
 		</Files>
 	</Package>

-	<History>
+    <History>
+        <Update release="8">
+            <Date>2023-11-04</Date>
+            <Version>4.12.2</Version>
+            <Comment>Version bump.</Comment>
+            <Name>Mustafa Cinasal</Name>
+            <Email>muscnsl@gmail.com</Email>
+        </Update>
 		<Update release="7">
 			<Date>2023-01-28</Date>
 			<Version>4.12.1</Version>