MD5 (sbcl-0.8.1-source.tar.bz2) = 884771bd1ac26bc78c897ae6510541d9
MD5 (sbcl-0.8.1-html.tar.bz2) = bcc7b26487c947b0cccfeb0d0a6d709e