mirror of
https://github.com/microsoft/vcpkg.git
synced 2024-11-25 02:41:38 +08:00
61b9054264
- [x] Changes comply with the [maintainer guide](https://github.com/microsoft/vcpkg-docs/blob/main/vcpkg/contributing/maintainer-guide.md). - [x] SHA512s are updated for each updated download. - [x] The "supports" clause reflects platforms that may be fixed by this new version. - [x] Any fixed [CI baseline](https://github.com/microsoft/vcpkg/blob/master/scripts/ci.baseline.txt) entries are removed from that file. - [x] Any patches that are no longer applied are deleted from the port's directory. - [x] The version database is fixed by rerunning `./vcpkg x-add-version --all` and committing the result. - [x] Only one version is added to each modified port's versions file.
19 lines
352 B
JSON
19 lines
352 B
JSON
{
|
|
"name": "z3",
|
|
"version": "4.13.0",
|
|
"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
|
|
}
|
|
]
|
|
}
|