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 f679ab91a33c..f16c6735f424 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,2 +1,2 @@ -SHA256 (seed7_05_20140202.tgz) = 6691216f7651d10a9006857a9eb19633ef0a1b3e89a3b014ae718ff77c55f4f1 -SIZE (seed7_05_20140202.tgz) = 2028658 +SHA256 (seed7_05_20140216.tgz) = ce4043b6cc1c42137a16c644de87fe98d5968c43b8d98f9885f58b7a203bd316 +SIZE (seed7_05_20140216.tgz) = 2050022 |