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

Merge pull request #8805 from 4fury-c3440d8/master

Browse Source 
z3, cppcheck.
This commit is contained in:
Kamil ATLI
2020-10-10 15:51:25 +03:00
committed by GitHub
parent 0e0692523c b8082ec66e
commit 454b23f254
2 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
programming/library/z3/pspec.xml
+1 -1
View File
@@ -58,7 +58,7 @@
</RuntimeDependencies>
<Files>
<Path fileType="header">/usr/include</Path>
<Path fileType="library">/usr/lib/pkgconfig</Path>
<Path fileType="library">/usr/lib/pkgconfig</Path>
</Files>
</Package>
programming/tool/cppcheck/pspec.xml
-1
View File
@@ -25,7 +25,6 @@
<Dependency>zlib-devel</Dependency>
<Dependency>docbook-xsl</Dependency>
<Dependency>qt5-linguist</Dependency>
<Dependency>python3-devel</Dependency>
<Dependency>libxslt-devel</Dependency>
<Dependency>libpcre-devel</Dependency>
<Dependency>python3-devel</Dependency>