diff options
Diffstat (limited to 'lang/drscheme/distinfo')
| -rw-r--r-- | lang/drscheme/distinfo | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/lang/drscheme/distinfo b/lang/drscheme/distinfo index d19814660c79..2cbe20fb5317 100644 --- a/lang/drscheme/distinfo +++ b/lang/drscheme/distinfo @@ -1,4 +1,2 @@ -MD5 (drscheme/208/plt-208-src-unix.tgz) = 0036e215d9402f7755b23cc875090f9e -SIZE (drscheme/208/plt-208-src-unix.tgz) = 10486916 -MD5 (drscheme/208/plt-208-p1.plt) = febf9202b6c8b23b2d61ab0fe19e0037 -SIZE (drscheme/208/plt-208-p1.plt) = 41343 +MD5 (drscheme/209/plt-209-src-unix.tgz) = 48d411de0f1203391daeb85a061fdbc7 +SIZE (drscheme/209/plt-209-src-unix.tgz) = 10731358 |