mirror/vcpkg
1
0
Fork 0
mirror of https://github.com/microsoft/vcpkg.git synced 2024-12-02 14:59:01 +08:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity
14,340 Commits 1 Branch 58 Tags 412 MiB
5bb0c7fc45
Commit Graph

2 Commits

Author SHA1 Message Date
chausner
261103472f
[z3] Update to 4.8.12 (#20348) 
* Update z3 to 4.8.12

* Update CI baseline

* Change version-semver to version

* Update git-tree hash

* Update z3.json

Co-authored-by: chausner <chausner@users.noreply.github.com>
 2021-09-27 20:51:56 -07:00
Jack·Boos·Yu
e4e4ee9c9f
[z3] Update to 4.8.10 to support arm triplet (#18104) 
* [z3] Update to 4.8.10 to support arm triplet

* update version record
 2021-06-01 12:14:39 -07:00