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 fb5b56b41166..abcf9c12d6ba 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1711381690 -SHA256 (seed7_05_20240322.tgz) = d1e930e7dd00e67662fb835ea330f3c5a00c8231019ecb500f701214ded3408d -SIZE (seed7_05_20240322.tgz) = 4059481 +TIMESTAMP = 1714460489 +SHA256 (seed7_05_20240429.tgz) = 8cf7d840743af0867f74eddf423e654e218e6895ca206e61ddc09bec83c7379c +SIZE (seed7_05_20240429.tgz) = 4075974 |