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