vcpkg/ports/z3
..
fix-install-path.patch
portfile.cmake
remove-flag-overrides.patch
vcpkg.json