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 3baef662a245..684952da5539 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,2 +1,2 @@ -SHA256 (seed7_05_20121212.tgz) = d4f23d71e3f86ea81ff404e52a803f644d8fa505cde0da62895941c8ad73c67a -SIZE (seed7_05_20121212.tgz) = 1801593 +SHA256 (seed7_05_20130105.tgz) = 72c166e1854acc4b424b512a44793c8f7ad392e710274a44aacbd2dcc9f5f28b +SIZE (seed7_05_20130105.tgz) = 1806154 |