mirror/vcpkg
1
0
Fork 0
mirror of https://github.com/microsoft/vcpkg.git synced 2024-12-01 14:19:00 +08:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity
321540a82a
vcpkg/ports/z3
History
Nuno Lopes 52168a8503 [z3] bump version to 4.8.5 (#6803)
2019-06-06 18:53:20 -07:00
..
CONTROL [z3] bump version to 4.8.5 (#6803) 2019-06-06 18:53:20 -07:00
fix-install-path.patch [z3] bump version to 4.8.5 (#6803) 2019-06-06 18:53:20 -07:00
LICENSE add Z3 package (#5564) 2019-03-08 19:00:48 -08:00
portfile.cmake [z3] bump version to 4.8.5 (#6803) 2019-06-06 18:53:20 -07:00