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

z3.

Browse Source
This commit is contained in:
4fury-c3440d8
2021-03-24 05:23:55 +03:00
parent 75ad8f4aa2
commit e0626d5735
1 changed files with 11 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
programming/library/z3/pspec.xml
+11 -3
View File
@@ -13,8 +13,8 @@
<PartOf>programming.library</PartOf> <PartOf>programming.library</PartOf>
<Summary>The Z3 Theorem Prover.</Summary> <Summary>The Z3 Theorem Prover.</Summary>
<Description>Z3 is a theorem prover from Microsoft Research.</Description> <Description>Z3 is a theorem prover from Microsoft Research.</Description>
<Archive sha1sum="6586ddd6388ddaa73a387b9d13f299169c11674e" type="targz"> <Archive sha1sum="daaa94014a3ab45c17a75adb7446a28ac9de2495" type="targz">
https://github.com/Z3Prover/z3/archive/z3-4.8.9.tar.gz https://github.com/Z3Prover/z3/archive/z3-4.8.10.tar.gz
</Archive> </Archive>
<BuildDependencies> <BuildDependencies>
<Dependency>cmake</Dependency> <Dependency>cmake</Dependency>
@@ -30,7 +30,7 @@
<RuntimeDependencies> <RuntimeDependencies>
<Dependency>gmp</Dependency> <Dependency>gmp</Dependency>
<Dependency>libgcc</Dependency> <Dependency>libgcc</Dependency>
<Dependency>python3</Dependency> <!-- <Dependency>python3</Dependency> -->
</RuntimeDependencies> </RuntimeDependencies>
<Files> <Files>
<Path fileType="executable">/usr/bin</Path> <Path fileType="executable">/usr/bin</Path>
@@ -59,10 +59,18 @@
<Files> <Files>
<Path fileType="header">/usr/include</Path> <Path fileType="header">/usr/include</Path>
<Path fileType="library">/usr/lib/pkgconfig</Path> <Path fileType="library">/usr/lib/pkgconfig</Path>
<Path fileType="library">/usr/lib/cmake</Path>
</Files> </Files>
</Package> </Package>
<History> <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"> <Update release="1">
<Date>2020-10-08</Date> <Date>2020-10-08</Date>
<Version>4.8.9</Version> <Version>4.8.9</Version>