diff options
-rw-r--r-- | development/smlnj/smlnj.info | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/development/smlnj/smlnj.info b/development/smlnj/smlnj.info index 921f018319c50..3b008b153de61 100644 --- a/development/smlnj/smlnj.info +++ b/development/smlnj/smlnj.info @@ -9,6 +9,7 @@ DOWNLOAD="http://smlnj.cs.uchicago.edu/dist/working/110.79/boot.x86-unix.tgz \ http://smlnj.cs.uchicago.edu/dist/working/110.79/system.tgz \ http://smlnj.cs.uchicago.edu/dist/working/110.79/MLRISC.tgz \ http://smlnj.cs.uchicago.edu/dist/working/110.79/smlnj-lib.tgz \ + http://smlnj.cs.uchicago.edu/dist/working/110.79/old-basis.tgz \ http://smlnj.cs.uchicago.edu/dist/working/110.79/ckit.tgz \ http://smlnj.cs.uchicago.edu/dist/working/110.79/nlffi.tgz \ http://smlnj.cs.uchicago.edu/dist/working/110.79/cml.tgz \ @@ -30,6 +31,7 @@ MD5SUM="eae97476343f2920b4d6b1bec6b4c160 \ 31522c0f5cb4bb20f1ef3244b176d530 \ b77ee764a928886b7ed0f9f15b638386 \ 3b88bdae1540471ff0331b66d3d48db9 \ + ff2e69683b94cdbda6fd8ebea4df1346 \ 887f9331e306326438c756860037177a \ 13b377b3302ec366f960b447545f6981 \ 9ba759cacbe6375409474afbf216fa64 \ |