diff options
Diffstat (limited to 'dev-lang/mercury-extras/files')
| -rw-r--r-- | dev-lang/mercury-extras/files/digest-mercury-extras-0.13.0_beta20060811 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dev-lang/mercury-extras/files/digest-mercury-extras-0.13.0_beta20060811 b/dev-lang/mercury-extras/files/digest-mercury-extras-0.13.0_beta20060811 new file mode 100644 index 000000000000..386cd3c9dbe0 --- /dev/null +++ b/dev-lang/mercury-extras/files/digest-mercury-extras-0.13.0_beta20060811 @@ -0,0 +1,3 @@ +MD5 b18971825e83062b4f7fa2c550ff9381 mercury-extras-0.13.0-beta-2006-08-11-unstable.tar.gz 874009 +RMD160 7e2c986a8ee1bb1a3a9934e8435b5cb4d5aebf21 mercury-extras-0.13.0-beta-2006-08-11-unstable.tar.gz 874009 +SHA256 d59443d57e77e866c899107a7e1734ec15cfab01fe8d0f6112bcdfb52bd92a2f mercury-extras-0.13.0-beta-2006-08-11-unstable.tar.gz 874009 |