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