diff options
Diffstat (limited to 'math/alt-ergo-spark/distinfo')
| -rw-r--r-- | math/alt-ergo-spark/distinfo | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/math/alt-ergo-spark/distinfo b/math/alt-ergo-spark/distinfo deleted file mode 100644 index faa60edf712b..000000000000 --- a/math/alt-ergo-spark/distinfo +++ /dev/null @@ -1,2 +0,0 @@ -SHA256 (alt-ergo-for-spark-gpl-2015-src.tar.gz) = 56e70ee8d7b67e95945c156ff80833e45612882605a163a779b7d11ea01f6fbf -SIZE (alt-ergo-for-spark-gpl-2015-src.tar.gz) = 230073 |