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 1feb80b81d09..4f775670b562 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,3 +1,3 @@ -MD5 (seed7_05_20081005.tgz) = 9ac0e152bd0c3b49ac35da365dcb06ad -SHA256 (seed7_05_20081005.tgz) = 0e4e5315b4b21ae815e6df3f8e7945b0f8ee636fde9d6a4fec24f7ff4bd024a1 -SIZE (seed7_05_20081005.tgz) = 1131930 +MD5 (seed7_05_20081019.tgz) = 80a087bbd18218355d6f0ea5b5eaf3cb +SHA256 (seed7_05_20081019.tgz) = 71483273de6c018b27564e36cc032523890be5304332187f7dfb0b45d5b4fa53 +SIZE (seed7_05_20081019.tgz) = 1135694 |