Merge pull request #9737 from 4fury-c3440d8/np

z3, cppcheck.

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="dffd49c4ce3598f9558529839aba614b8822ebae" type="targz">
-			https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.8.11.tar.gz
+		<Archive sha1sum="f4443c6beedb46e8a0785529b477b2f811901cc3" type="targz">
+			https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.8.12.tar.gz
 		</Archive>
 		<BuildDependencies>
 			<Dependency>cmake</Dependency>
@@ -64,6 +64,13 @@
 	</Package>
 
 	<History>
+		<Update release="4">
+			<Date>2021-10-11</Date>
+			<Version>4.8.12</Version>
+			<Comment>Version bump.</Comment>
+			<Name>fury</Name>
+			<Email>uglyside@yandex.ru</Email>
+		</Update>
 		<Update release="3">
 			<Date>2021-07-05</Date>
 			<Version>4.8.11</Version>