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 e90e6a991c6e..25c350a95aed 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1738662319 -SHA256 (seed7_05_20250111.tgz) = 041de239140bc6a933c9ceb819716e059ec88395c147b269ed9816f2e68b0209 -SIZE (seed7_05_20250111.tgz) = 4260238 +TIMESTAMP = 1753863983 +SHA256 (seed7_05_20250729.tgz) = 416a8a54e61b1539f5fbc131827a38d588758415e617b9941af3cd6b0e2105f0 +SIZE (seed7_05_20250729.tgz) = 4386548 |