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

z3, cppcheck.

Browse Source
This commit is contained in:
4fury-c3440d8
2020-10-10 01:54:32 +03:00
parent 4900fa9459
commit b8082ec66e
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>