diff options
| author | Alberto Garcia Illera <agarciaillera@gmail.com> | 2020-05-12 19:07:16 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-12 16:07:16 -0700 |
| commit | 10ba60d61f7fccd8df2036c7fb3071f64829145e (patch) | |
| tree | ed81cefdc706d9ecdb664877eb6d180c0755847c /ports/z3/CONTROL | |
| parent | 2e6b66cbd137906c3e0458887cfd5eddcd659e24 (diff) | |
| download | vcpkg-10ba60d61f7fccd8df2036c7fb3071f64829145e.tar.gz vcpkg-10ba60d61f7fccd8df2036c7fb3071f64829145e.zip | |
[z3] update port to 4.8.8 (#11314)
* [z3] update port to 4.8.8
* update port file with new cmake var name, Z3_BUILD_LIBZ3_SHARED
Diffstat (limited to 'ports/z3/CONTROL')
| -rw-r--r-- | ports/z3/CONTROL | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/z3/CONTROL b/ports/z3/CONTROL index 866f2cf5f..5f314a63d 100644 --- a/ports/z3/CONTROL +++ b/ports/z3/CONTROL @@ -1,5 +1,5 @@ Source: z3 -Version: 4.8.6 +Version: 4.8.8 Homepage: https://github.com/Z3Prover/z3 Description: Z3 is a theorem prover from Microsoft Research. Supports: !arm64 && !uwp |