diff options
Diffstat (limited to 'lang/seed7/distinfo')
| -rw-r--r-- | lang/seed7/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index 63bdffdbbb3e..18c5efc5694d 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1475494508 -SHA256 (seed7_05_20161002.tgz) = fb571ad1fb4c8f7433ed6f745156bab44ffacc7deedb0d6829e63e1b40ba61e1 -SIZE (seed7_05_20161002.tgz) = 2670484 +TIMESTAMP = 1479903307 +SHA256 (seed7_05_20161031.tgz) = 6b338b26c689275a242cd97bf960152528dd6cf636cbd7f7a25df5b3f3b821b8 +SIZE (seed7_05_20161031.tgz) = 2672738 |