diff options
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 5f314a63d..f261a7f55 100644 --- a/ports/z3/CONTROL +++ b/ports/z3/CONTROL @@ -1,5 +1,5 @@ Source: z3 -Version: 4.8.8 +Version: 4.8.9 Homepage: https://github.com/Z3Prover/z3 Description: Z3 is a theorem prover from Microsoft Research. Supports: !arm64 && !uwp |