MD5 f23a177b2813740563f9e3f364e1dee8 sbcl-0.8.12-source.tar.bz2 2136436
MD5 7b1efeece65af1a5dde8529afa743b3f sbcl-0.8.12-html.tar.bz2 47430
MD5 6c193e328cdb472787ef78401ee5294c sbcl-0.8.1-x86-linux-binary.tar.bz2 6348098
MD5 b5a5c93185ae03392ff6000a4a425222 sbcl-0.8.8-ppc-linux-binary.tar.bz2 6831954
MD5 7cb56cd42b1f5797d26316e79aaccb06 sbcl-0.7.13-sparc-linux-binary.tar.bz2 5670293
MD5 29ad145f1fc45c65b8d65b39013bc43f sbcl-0.7.10-mips-linux-binary.tar.gz 7473873