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

index for new package: z3

Browse Source
This commit is contained in:
suvari
2020-10-09 17:53:19 +03:00
parent 9bd2a0d9bf
commit cfc3b4f3ce
5 changed files with 253828 additions and 253709 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pisi-index.xml
+253824 -253705
View File
File diff suppressed because it is too large Load Diff
pisi-index.xml.sha1sum
+1 -1
View File
@@ -1 +1 @@
1a0332e961164489be8370f71417f17d8af7de37 4f01661c68071ca4349422c210917f6c638e3609
pisi-index.xml.xz
BIN
View File
Binary file not shown.
pisi-index.xml.xz.sha1sum
+1 -1
View File
@@ -1 +1 @@
a928ba011ffeb9d6c8aa1b18207cda51d81c10bf dfcc6427a9b648d1605dbb1b4ae87ea43c7625fa
programming/library/z3/pspec.xml
+2 -2
View File
@@ -19,8 +19,8 @@
<BuildDependencies> <BuildDependencies>
<Dependency>cmake</Dependency> <Dependency>cmake</Dependency>
<Dependency>ninja</Dependency> <Dependency>ninja</Dependency>
<Dependency>python3</Dependency>
<Dependency>gmp-devel</Dependency> <Dependency>gmp-devel</Dependency>
<Dependency>python3-devel</Dependency>
<Dependency>python3-setuptools</Dependency> <Dependency>python3-setuptools</Dependency>
</BuildDependencies> </BuildDependencies>
</Source> </Source>
@@ -58,6 +58,7 @@
</RuntimeDependencies> </RuntimeDependencies>
<Files> <Files>
<Path fileType="header">/usr/include</Path> <Path fileType="header">/usr/include</Path>
<Path fileType="library">/usr/lib/pkgconfig</Path>
</Files> </Files>
</Package> </Package>
@@ -71,4 +72,3 @@
</Update> </Update>
</History> </History>
</PISI> </PISI>