diff options
Diffstat (limited to 'ports/arb/CONTROL')
| -rw-r--r-- | ports/arb/CONTROL | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/ports/arb/CONTROL b/ports/arb/CONTROL deleted file mode 100644 index 5e75c8b35..000000000 --- a/ports/arb/CONTROL +++ /dev/null @@ -1,5 +0,0 @@ -Source: arb
-Version: 2.18.1 -Homepage: https://github.com/fredrik-johansson/arb
-Description: a C library for arbitrary-precision interval arithmetic
-Build-Depends: flint
|