diff options
Diffstat (limited to 'dev-ml/camlp5/files/digest-camlp5-5.06')
| -rw-r--r-- | dev-ml/camlp5/files/digest-camlp5-5.06 | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/dev-ml/camlp5/files/digest-camlp5-5.06 b/dev-ml/camlp5/files/digest-camlp5-5.06 deleted file mode 100644 index dacd72a18590..000000000000 --- a/dev-ml/camlp5/files/digest-camlp5-5.06 +++ /dev/null @@ -1,3 +0,0 @@ -MD5 184c81943505999a156e0c201fcd0997 camlp5-5.06.tgz 636094 -RMD160 cbc1301f5863615b39162f38a24899d931821eeb camlp5-5.06.tgz 636094 -SHA256 13af2090408108eab0f15b6c9940c1da0eb95174aa6af81d2be362c0a12fab13 camlp5-5.06.tgz 636094 |