diff options
Diffstat (limited to 'dev-ml/camlp5/files/digest-camlp5-5.00')
| -rw-r--r-- | dev-ml/camlp5/files/digest-camlp5-5.00 | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/dev-ml/camlp5/files/digest-camlp5-5.00 b/dev-ml/camlp5/files/digest-camlp5-5.00 deleted file mode 100644 index e128733846b2..000000000000 --- a/dev-ml/camlp5/files/digest-camlp5-5.00 +++ /dev/null @@ -1,3 +0,0 @@ -MD5 70986d6a7b54f4d35e7cc6b16731b8fd camlp5-5.00.tgz 586867 -RMD160 a390179f34528e3f4de8483dd1d3e4853f463bfe camlp5-5.00.tgz 586867 -SHA256 759ec8feb965ccc35daae9010669625fb563815941fe806c449e01a893ba7544 camlp5-5.00.tgz 586867 |