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 368b35b9522c..864734901f0e 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,2 +1,2 @@ -SHA256 (seed7_05_20120909.tgz) = 34389aaeee86f5b222904c53136a6607cf0e3dbf07ffa1ce40d99b0e50f77495 -SIZE (seed7_05_20120909.tgz) = 1773845 +SHA256 (seed7_05_20121007.tgz) = 6cb18ecec1bbdceaf4c8facaa0490b88847ed6f6f610c69a61ff66b6b2752b22 +SIZE (seed7_05_20121007.tgz) = 1782217 |