MD5 (sbcl-0.8.12-source.tar.bz2) = f23a177b2813740563f9e3f364e1dee8
SIZE (sbcl-0.8.12-source.tar.bz2) = 2136436
MD5 (sbcl-0.8.12-html.tar.bz2) = 7b1efeece65af1a5dde8529afa743b3f
SIZE (sbcl-0.8.12-html.tar.bz2) = 47430