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..87c461ef0b87 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 = 1752568192 +SHA256 (seed7_05_20250516.tgz) = 39b3086845ac3f79c9354d109ddf7c66e0452d5dd409bc07bc960bb5ea6bab78 +SIZE (seed7_05_20250516.tgz) = 4346654 |