MD5 (sbcl-0.8.7-source.tar.bz2) = 6cf1786ab54ae4cf302b9a8ddfe5f2a7
MD5 (sbcl-0.8.7-html.tar.bz2) = 2f00663b646b2615f12c984e3435d478