4 Commits

Author	SHA1	Message	Date
autoantwort	e7e328cf9d	[many ports] call vcpkg_fixup_pkgconfig() (#20953) ... * [many ports] call vcpkg_fixup_pkgconfig() The ports generate pc files, but don't call vcpkg_fixup_pkgconfig() so that there are absolute paths in the pc files * Update port-version for armadillo and polyclipping. * Update version database. Co-authored-by: Billy Robert O'Neal III <bion@microsoft.com>	2021-10-27 15:19:28 -07:00
chausner	261103472f	[z3] Update to 4.8.12 (#20348) ... * Update z3 to 4.8.12 * Update CI baseline * Change version-semver to version * Update git-tree hash * Update z3.json Co-authored-by: chausner <chausner@users.noreply.github.com>	2021-09-27 20:51:56 -07:00
Jack·Boos·Yu	e4e4ee9c9f	[z3] Update to 4.8.10 to support arm triplet (#18104) ... * [z3] Update to 4.8.10 to support arm triplet * update version record	2021-06-01 12:14:39 -07:00
nicole mazzuca	68a74950d0	[vcpkg] Rename port_versions to versions (#15784)	2021-01-21 09:53:22 -08:00