MD5 4c5e1732c884d831707de3257bdcbee3 sbcl-0.8.15-source.tar.bz2 2334930
MD5 1a3f76537e7aaaafe7f9e5a4ee923e2d sbcl-0.8.15-html.tar.bz2 108172
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