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 25c350a95aed..522970a6dafc 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1753863983 -SHA256 (seed7_05_20250729.tgz) = 416a8a54e61b1539f5fbc131827a38d588758415e617b9941af3cd6b0e2105f0 -SIZE (seed7_05_20250729.tgz) = 4386548 +TIMESTAMP = 1760538033 +SHA256 (seed7_05_20250930.tgz) = a0ca3c643d2723254e2db1076ed95e1d992f5e3109ba9126e3d15fb4f4c5ebdf +SIZE (seed7_05_20250930.tgz) = 4412992 |