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 d936e7a1a0dd..1feb80b81d09 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,3 +1,3 @@ -MD5 (seed7_05_20080921.tgz) = 87a46267ea03355f1b70f47db0c57a5e -SHA256 (seed7_05_20080921.tgz) = 1af3516e682655ef249e2306ac1c39ba70cd033698389b91fad48b66a6746837 -SIZE (seed7_05_20080921.tgz) = 1124970 +MD5 (seed7_05_20081005.tgz) = 9ac0e152bd0c3b49ac35da365dcb06ad +SHA256 (seed7_05_20081005.tgz) = 0e4e5315b4b21ae815e6df3f8e7945b0f8ee636fde9d6a4fec24f7ff4bd024a1 +SIZE (seed7_05_20081005.tgz) = 1131930 |