diff options
Diffstat (limited to 'math/sedumi/distinfo')
| -rw-r--r-- | math/sedumi/distinfo | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/math/sedumi/distinfo b/math/sedumi/distinfo deleted file mode 100644 index 2f83f0292c3..00000000000 --- a/math/sedumi/distinfo +++ /dev/null @@ -1,2 +0,0 @@ -SHA256 (SeDuMi_1_1R3.zip) = a81ca3a00b87e3a1cced26d8b340f90bb170e050513ec219acbc90da0a330b22 -SIZE (SeDuMi_1_1R3.zip) = 2235915 |