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