mirror of https://github.com/microsoft/vcpkg.git
* [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 |
||
|---|---|---|
| .. | ||
| fix-install-path.patch | ||
| portfile.cmake | ||
| remove-flag-overrides.patch | ||
| vcpkg.json | ||