| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-05-12 | [z3] update port to 4.8.8 (#11314) | Alberto Garcia Illera | |
| * [z3] update port to 4.8.8 * update port file with new cmake var name, Z3_BUILD_LIBZ3_SHARED | |||
| 2019-11-22 | [z3] Update to 4.8.6 (#8899) | JackBoosY | |
| * [z3]Upgrade to 4.8.6. * [z3]Use `vcpkg_fail_port_install`. | |||
| 2019-06-06 | [z3] bump version to 4.8.5 (#6803) | Nuno Lopes | |
| 2019-05-21 | [z3]Fix install files path and add tools. | JackBoosY | |
 |
index : vcpkg | |
| Forked from https://github.com/microsoft/vcpkg | Oskari Timperi |
| aboutsummaryrefslogtreecommitdiff |