Pisilinux/main
5
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

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

Browse Source 
cppcheck-2.5.
This commit is contained in:
Rmys
2021-07-05 23:11:15 +03:00
committed by GitHub
parent fc2dc1ab20 14dd975cf6
commit a65683e73a
2 changed files with 18 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
programming/library/z3/pspec.xml
+9 -2
View File
@@ -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="daaa94014a3ab45c17a75adb7446a28ac9de2495" type="targz">
https://github.com/Z3Prover/z3/archive/z3-4.8.10.tar.gz
<Archive sha1sum="dffd49c4ce3598f9558529839aba614b8822ebae" type="targz">
https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.8.11.tar.gz
</Archive>
<BuildDependencies>
<Dependency>cmake</Dependency>
@@ -64,6 +64,13 @@
</Package>
<History>
<Update release="3">
<Date>2021-07-05</Date>
<Version>4.8.11</Version>
<Comment>Version bump.</Comment>
<Name>fury</Name>
<Email>wascheme@tuta.io</Email>
</Update>
<Update release="2">
<Date>2021-03-24</Date>
<Version>4.8.10</Version>