mirror/vcpkg
1
0
Fork 0
mirror of https://github.com/microsoft/vcpkg.git synced 2024-11-28 07:36:01 +08:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity
8b63797138
vcpkg/ports/z3
History
Eric Kilmer 07b9eeecd2
[z3] Update to 4.8.16 (#24407) 
* [z3] Update to 4.8.16

* Use Python3 instead of Python2

Python2 is EOL and the build script works with Python3, so we should
prefer Python3

* Update version
2022-04-26 19:24:59 -07:00
..
fix-install-path.patch
portfile.cmake [z3] Update to 4.8.16 (#24407) 2022-04-26 19:24:59 -07:00
remove-flag-overrides.patch [z3] Update to 4.8.16 (#24407) 2022-04-26 19:24:59 -07:00
vcpkg.json [z3] Update to 4.8.16 (#24407) 2022-04-26 19:24:59 -07:00