The-Homebrew-Cloud/cemu-vcpkg
2
0
Fork 0
mirror of https://github.com/cemu-project/vcpkg.git synced 2025-12-18 01:16:05 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
cemu-vcpkg/ports/z3/CONTROL
Alberto Garcia Illera 10ba60d61f [z3] update port to 4.8.8 (#11314) 
* [z3] update port to 4.8.8

* update port file with new cmake var name, Z3_BUILD_LIBZ3_SHARED
2020-05-12 16:07:16 -07:00

153 B
Raw Permalink Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink