MD5 (sbcl-0.8.17-source.tar.bz2) = 684d1a96496b46331dc50840db612909
SIZE (sbcl-0.8.17-source.tar.bz2) = 2474794
MD5 (sbcl-0.8.17-html.tar.bz2) = a5eea2768bf91e19ac1132928252382d
SIZE (sbcl-0.8.17-html.tar.bz2) = 108720
