vcpkg - Forked from https://github.com/microsoft/vcpkg

Age	Commit message (Expand)	Author
2021-09-27	[z3] Update to 4.8.12 (#20348)	chausner
2021-06-01	[z3] Update to 4.8.10 to support arm triplet (#18104)	Jack·Boos·Yu
2020-10-13	[many ports] 2019.09.14 Updates (#13536)	Robert Schumacher
2020-05-12	[z3] update port to 4.8.8 (#11314)	Alberto Garcia Illera
2020-02-03	[vcpkg] Add Supports: field. Use contents of triplets instead of names for de...	Phil Christensen
2019-11-22	[z3] Update to 4.8.6 (#8899)	JackBoosY
2019-06-20	[many ports] improvements for linux/wsl (#6730)	Stefano Sinigardi
2019-06-06	[z3] bump version to 4.8.5 (#6803)	Nuno Lopes
2019-05-23	[z3]Replace the file command with vcpkg_fixup_cmake_targets.	JackBoosY
2019-05-21	[z3]Fix install files path and add tools.	JackBoosY
2019-03-08	add Z3 package (#5564)	Nuno Lopes