diff options
Diffstat (limited to 'lang/seed7/distinfo')
| -rw-r--r-- | lang/seed7/distinfo | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index 864734901f0e..7c891087ca10 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,2 +1,2 @@ -SHA256 (seed7_05_20121007.tgz) = 6cb18ecec1bbdceaf4c8facaa0490b88847ed6f6f610c69a61ff66b6b2752b22 -SIZE (seed7_05_20121007.tgz) = 1782217 +SHA256 (seed7_05_20121021.tgz) = 698f11a31d820c678ee54c1f013cb8538d37339898fc000d5ae4b8d4c2487d6b +SIZE (seed7_05_20121021.tgz) = 1795775 |