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 28b6d316c..540eedaee 100644 --- a/ports/arb/CONTROL +++ b/ports/arb/CONTROL @@ -1,4 +1,4 @@ Source: arb
-Version: 2.11.1-1
+Version: 2.11.1-2
Description: a C library for arbitrary-precision interval arithmetic
Build-Depends: flint
|