MD5 (sbcl-0.8.16-source.tar.bz2) = ae305cbc7a018f45c119282aebf43c90
SIZE (sbcl-0.8.16-source.tar.bz2) = 2342519
MD5 (sbcl-0.8.16-html.tar.bz2) = 096adea4e54463761e4d08f8067611ff
SIZE (sbcl-0.8.16-html.tar.bz2) = 108443