aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGuillaume Horel <guillaume.horel@gmail.com>2016-06-05 12:03:44 -0400
committerGuillaume Horel <guillaume.horel@gmail.com>2016-06-05 12:03:44 -0400
commitc67313e237d5ffae23cd93194b90fda95197b411 (patch)
tree08d99276ec34fe3d6841a7510d21f68d8195e676 /dev-ml/zarith/Manifest
parentdev-ml/zarith: fix src_prepare() (diff)
downloadsci-c67313e237d5ffae23cd93194b90fda95197b411.tar.gz
sci-c67313e237d5ffae23cd93194b90fda95197b411.tar.bz2
sci-c67313e237d5ffae23cd93194b90fda95197b411.zip
dev-ml/zarith: remove since in main tree
Diffstat (limited to 'dev-ml/zarith/Manifest')
-rw-r--r--dev-ml/zarith/Manifest1
1 files changed, 0 insertions, 1 deletions
diff --git a/dev-ml/zarith/Manifest b/dev-ml/zarith/Manifest
deleted file mode 100644
index d7156cb11..000000000
--- a/dev-ml/zarith/Manifest
+++ /dev/null
@@ -1 +0,0 @@
-DIST zarith-1.2.1.tgz 68654 SHA256 916801cc39599d3fca07384fbfeec4bfaa5ffcb497d68ef89320af40ba5e4144 SHA512 5c053e259469bf6a2d4aaa3e653da42d18015e815a0b922a4e317db091a54c560e7ed32f5cb1faae7df1e8a6d81ba3913d71e5b500ace1bd45d69e69858467a1 WHIRLPOOL e31770c23e7f77bff8f084eeb3e0a9cab7c1413f2da64926c403720df2351bb84598953ad1bae0436d9b3ba6e66c1543aee0dbd9151a3708d793abe5506f1e00