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 9a64766a9..861c3eab4 100644 --- a/ports/z3/CONTROL +++ b/ports/z3/CONTROL @@ -1,3 +1,3 @@ Source: z3 -Version: 4.8.4-1 +Version: 4.8.5 Description: An SMT solver |