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 afb431f16600..dfc17bb0292e 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,2 +1,2 @@ -SHA256 (seed7_05_20131027.tgz) = baf733aa155ba1377e7605cfd0b2bc5fb114003045a23761576affc3b04a714e -SIZE (seed7_05_20131027.tgz) = 1981052 +SHA256 (seed7_05_20131110.tgz) = 4f54c768e88c1ff9649cc4dd4044ed2bcf0dc14774feac01a2a039f6d3a4fa7a +SIZE (seed7_05_20131110.tgz) = 1990251 |