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 87c461ef0b87..25c350a95aed 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1752568192 -SHA256 (seed7_05_20250516.tgz) = 39b3086845ac3f79c9354d109ddf7c66e0452d5dd409bc07bc960bb5ea6bab78 -SIZE (seed7_05_20250516.tgz) = 4346654 +TIMESTAMP = 1753863983 +SHA256 (seed7_05_20250729.tgz) = 416a8a54e61b1539f5fbc131827a38d588758415e617b9941af3cd6b0e2105f0 +SIZE (seed7_05_20250729.tgz) = 4386548 |