mirror of
https://github.com/microsoft/vcpkg.git
synced 2024-12-11 23:19:16 +08:00
8602701c9d
Updates the z3 port to 4.12.2 to fix building on macOS. |
||
---|---|---|
.. | ||
fix-cstdint-include.patch | ||
fix-install-path.patch | ||
portfile.cmake | ||
remove-flag-overrides.patch | ||
vcpkg.json |