3party/vcpkg
0
0
Fork 0
mirror of https://github.com/microsoft/vcpkg.git synced 2024-12-30 20:59:12 +08:00
Code Issues Projects Releases Wiki Activity
vcpkg/versions/z-/z3.json

75 lines
1.8 KiB
JSON
Raw Normal View History

[vcpkg] Add version files (#15652) * Add version files * Remove unnecessary file
2021-01-14 16:08:36 -08:00
{
"versions": [
[z3] Update to 4.8.16 (#24407) * [z3] Update to 4.8.16 * Use Python3 instead of Python2 Python2 is EOL and the build script works with Python3, so we should prefer Python3 * Update version
2022-04-26 22:24:59 -04:00
{
"git-tree": "a1217f07ef4a8f918f5b61a01057a4ee70f92422",
"version": "4.8.16",
"port-version": 0
},
[z3] Update to 4.8.15 (#24209) * [z3] Update to 4.8.15 * Update version * Don't build test executables * Update version * Disable examples * Update version * Fix 32 bit builds with upstream patch https://github.com/Z3Prover/z3/commit/3828130791bf8e60038b46b0d6602cb7e43fb344 * Update version
2022-04-19 12:29:01 -04:00
{
"git-tree": "ca14e43533889ce4abf89af387b73d015e133c4a",
"version": "4.8.15",
"port-version": 0
},
[z3] Update to 4.8.14 (#22687) * [z3] Update to 4.8.14 * [z3] Add license * [z3] Update versions
2022-01-27 01:31:17 +02:00
{
"git-tree": "78366a5b407998768b97ddee528306cf9cbe9847",
"version": "4.8.14",
"port-version": 0
},
[many ports] remove remaining vcpkg_fail_port_install calls. (#22770) * Bulk remove vcpkg_fail_port_install calls. Interesting ones have been split out into separate reviews, where "interesting" means "anything more than just deleting the call to vcpkg_fail_port_install", In support of https://github.com/microsoft/vcpkg/pull/21502 * Update version database. * Revert google benchmark changes already submitted as https://github.com/microsoft/vcpkg/pull/22728 * Repair version database.
2022-01-25 10:31:15 -08:00
{
"git-tree": "eb7c4238f0496b64a6527fd4b07dd753f31a1975",
"version": "4.8.12",
"port-version": 2
},
[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-28 00:19:28 +02:00
{
"git-tree": "679ab881c1277be69ffc601a568e3b47d4d55432",
"version": "4.8.12",
"port-version": 1
},
[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-28 05:51:56 +02:00
{
"git-tree": "898df3d611ad4a833593adbfd7f2a3b0e686fc2b",
"version": "4.8.12",
"port-version": 0
},
[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-02 03:14:39 +08:00
{
"git-tree": "9c0fdcbcb443a4d0e2b58a1b3b56424e8c2d384c",
"version-semver": "4.8.10",
"port-version": 0
},
[vcpkg] Add version files (#15652) * Add version files * Remove unnecessary file
2021-01-14 16:08:36 -08:00
{
"git-tree": "7081291c8d70cea0a783c78fa8f27219cad7b77c",
"version-string": "4.8.9",
"port-version": 0
},
{
"git-tree": "6555488e80a528c2470ceaf03c4c89c7afe02e2e",
"version-string": "4.8.8",
"port-version": 0
},
{
"git-tree": "400c779fbbcb32b7a2438b0bf59edfebc21a10bb",
"version-string": "4.8.6",
"port-version": 0
},
{
"git-tree": "f9c69bb54bb81b18f317dd2967b52634a7944a04",
"version-string": "4.8.5-1",
"port-version": 0
},
{
"git-tree": "5ed567eda111af09f639a9a81f5577c4739a2010",
"version-string": "4.8.5",
"port-version": 0
},
{
"git-tree": "9151b0fe33bb47860dff2049e0e86233cee2e57a",
"version-string": "4.8.4-1",
"port-version": 0
},
{
"git-tree": "fe89bbe59ac13cb35531d231cacb629f5d140241",
"version-string": "4.8.4",
"port-version": 0
}
]
}
Reference in New Issue Copy Permalink