diff options
Diffstat (limited to 'lang/seed7/distinfo')
| -rw-r--r-- | lang/seed7/distinfo | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index 9b7a7b61aa1d..7997f0865e2e 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,2 +1,2 @@ -SHA256 (seed7_05_20130602.tgz) = 8eaa40ff093f28e2fa8e6f45f44f827fcc46ddff623589b38db0c066c0ad5699 -SIZE (seed7_05_20130602.tgz) = 1863941 +SHA256 (seed7_05_20130616.tgz) = 2778bd9e38c66c5d2ae72955e55f7a61eb00b29b72bf2fb92f95fd53652eca18 +SIZE (seed7_05_20130616.tgz) = 1900562 |