tomcharnock/void-packages
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

z3: z3-ocaml subpackage

Browse Source
This commit is contained in:
Tai Chi Minh Ralph Eastwood
2018-01-08 20:37:14 +00:00
committed by Leаh Neukirchen
parent 4f9a4df2ac
commit 6352149c0b
3 changed files with 30 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
common/shlibs
View File

@@ -3041,6 +3041,7 @@ libqmobipocket.so.2 libqmobipocket-17.04.3_1
libgloox.so.17 gloox-1.0.20_1
libgsmsd.so.8 gammu-smsd-1.39.0_1
libGammu.so.8 gammu-1.39.0_1
libz3.so z3-4.6.0_2
libvulkan.so.1 vulkan-loader-1.0.57.0_1
libVkLayer_core_validation.so vulkan-validation-layers-1.0.57.0_1
libVkLayer_device_profile_api.so vulkan-validation-layers-1.0.57.0_1