diff options
Diffstat (limited to 'ports/arb/CONTROL')
| -rw-r--r-- | ports/arb/CONTROL | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/arb/CONTROL b/ports/arb/CONTROL index 540eedaee..750543298 100644 --- a/ports/arb/CONTROL +++ b/ports/arb/CONTROL @@ -1,4 +1,4 @@ Source: arb
-Version: 2.11.1-2
+Version: 2.16.0
Description: a C library for arbitrary-precision interval arithmetic
Build-Depends: flint
|