diff options
Diffstat (limited to 'dev-ml/camlp5/files/digest-camlp5-5.07')
| -rw-r--r-- | dev-ml/camlp5/files/digest-camlp5-5.07 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dev-ml/camlp5/files/digest-camlp5-5.07 b/dev-ml/camlp5/files/digest-camlp5-5.07 new file mode 100644 index 000000000000..089924012b3e --- /dev/null +++ b/dev-ml/camlp5/files/digest-camlp5-5.07 @@ -0,0 +1,3 @@ +MD5 0fec937e7d84b4f0c44b07522e443cf1 camlp5-5.07.tgz 629672 +RMD160 6004bdd5bdcd36ba5658ec637d33a12c84e19b64 camlp5-5.07.tgz 629672 +SHA256 9476012c98f8086d7ce34be1a98df4198f80ede5f0e0a58f6d3d254e1b85eb92 camlp5-5.07.tgz 629672 |