mirror of
https://github.com/microsoft/vcpkg.git
synced 2024-11-29 23:58:59 +08:00
37ebb4419b
* [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
3828130791
* Update version
19 lines
352 B
JSON
19 lines
352 B
JSON
{
|
|
"name": "z3",
|
|
"version": "4.8.15",
|
|
"description": "Z3 is a theorem prover from Microsoft Research",
|
|
"homepage": "https://github.com/Z3Prover/z3",
|
|
"license": "MIT",
|
|
"supports": "!uwp",
|
|
"dependencies": [
|
|
{
|
|
"name": "vcpkg-cmake",
|
|
"host": true
|
|
},
|
|
{
|
|
"name": "vcpkg-cmake-config",
|
|
"host": true
|
|
}
|
|
]
|
|
}
|