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