vcpkg/ports/z3
2019-05-23 02:45:01 +00:00
..
CONTROL [z3]Fix install files path and add tools. 2019-05-21 04:31:57 +00:00
fix_cmake_long_dir.patch
fix-install-path.patch [z3]Fix install files path and add tools. 2019-05-21 04:31:57 +00:00
LICENSE
portfile.cmake [z3]Replace the file command with vcpkg_fixup_cmake_targets. 2019-05-23 02:45:01 +00:00