vcpkg/ports/z3
Bruce Mitchener 72938b656e
[z3] Update to 4.12.6 (#36958)
- [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.
- [ ] The "supports" clause reflects platforms that may be fixed by this
new version.
- [ ] Any fixed [CI
baseline](https://github.com/microsoft/vcpkg/blob/master/scripts/ci.baseline.txt)
entries are removed from that file.
- [ ] 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.
2024-02-27 00:12:25 -08:00
..
fix-install-path.patch
portfile.cmake [z3] Update to 4.12.6 (#36958) 2024-02-27 00:12:25 -08:00
remove-flag-overrides.patch [z3] Update to 4.12.6 (#36958) 2024-02-27 00:12:25 -08:00
vcpkg.json [z3] Update to 4.12.6 (#36958) 2024-02-27 00:12:25 -08:00