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
..
2024-02-27 00:12:25 -08:00
2024-01-19 12:31:22 -08:00
2023-03-01 10:57:43 -08:00
2023-11-15 16:56:18 -08:00
2024-01-30 12:58:10 -08:00
2023-11-01 13:14:26 -07:00
2022-10-26 10:55:31 -07:00
2023-10-30 14:58:07 -07:00
2023-01-31 13:27:53 -08:00