mirror/vcpkg
1
0
Fork 0
mirror of https://github.com/microsoft/vcpkg.git synced 2024-12-21 01:07:50 +08:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity
16,277 Commits 1 Branch 58 Tags 412 MiB
36b6831d19
Commit Graph

2 Commits

Author SHA1 Message Date
Eric Kilmer
07b9eeecd2
[z3] Update to 4.8.16 (#24407) 
* [z3] Update to 4.8.16

* Use Python3 instead of Python2

Python2 is EOL and the build script works with Python3, so we should
prefer Python3

* Update version
 2022-04-26 19:24:59 -07:00
Eric Kilmer
37ebb4419b
[z3] Update to 4.8.15 (#24209) 
* [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
 2022-04-19 09:29:01 -07:00