mirror of
https://github.com/microsoft/vcpkg.git
synced 2024-12-10 22:49:02 +08:00
261103472f
* 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>
8 lines
179 B
JSON
8 lines
179 B
JSON
{
|
|
"name": "z3",
|
|
"version": "4.8.12",
|
|
"description": "Z3 is a theorem prover from Microsoft Research",
|
|
"homepage": "https://github.com/Z3Prover/z3",
|
|
"supports": "!uwp"
|
|
}
|