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 9e114161ab06..7acc3dc8c16d 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,2 +1,2 @@ -SHA256 (seed7_05_20120205.tgz) = 03303d039d60e0d42570d460ac96b537535639cdca342743f882073c16bb812f -SIZE (seed7_05_20120205.tgz) = 1645560 +SHA256 (seed7_05_20120219.tgz) = 1f878561b87069cf6f966300b8d79abb792b0f96cb89e0f38fc76f7d64e9ab97 +SIZE (seed7_05_20120219.tgz) = 1647591 |