diff options
Diffstat (limited to 'lang/seed7/distinfo')
| -rw-r--r-- | lang/seed7/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index 36cdd75c97e2..a1d7c6df8d80 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,3 +1,3 @@ -MD5 (seed7_05_20080817.tgz) = aa7d51e7bd725f45d4358adaf9553a26 -SHA256 (seed7_05_20080817.tgz) = ae9f235ddac516b51364bbe247a739818f27f8187738e37352d03c66e5d4cc5d -SIZE (seed7_05_20080817.tgz) = 1093792 +MD5 (seed7_05_20080902.tgz) = 9dd172094563a60a43596e97e55189d9 +SHA256 (seed7_05_20080902.tgz) = b66277c06584dbd6504ca6ab7d05bf7a8eab118a23a8e3a1ab0c95235556c0ef +SIZE (seed7_05_20080902.tgz) = 1096753 |