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 cdb4ce1bb8a6..d5768370ab24 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1528117967 -SHA256 (seed7_05_20180601.tgz) = cc3c6fcb0c52b4234c039ca809fc983820c010af3cbb4cfe788b118a77572245 -SIZE (seed7_05_20180601.tgz) = 2809518 +TIMESTAMP = 1531742319 +SHA256 (seed7_05_20180708.tgz) = 345cc21c824dee87c44f0dd738c22af78ba4c7b98788db771376b783423392c9 +SIZE (seed7_05_20180708.tgz) = 2816808 |