| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-09-27 | [z3] Update to 4.8.12 (#20348) | chausner | |
| * 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-06-01 | [z3] Update to 4.8.10 to support arm triplet (#18104) | Jack·Boos·Yu | |
| * [z3] Update to 4.8.10 to support arm triplet * update version record | |||
 |
index : vcpkg | |
| Forked from https://github.com/microsoft/vcpkg | Oskari Timperi |
| aboutsummaryrefslogtreecommitdiff |