MD5 2e33a8493e607b2f540a778a17c6653d sbcl-0.8.13-source.tar.bz2 2209140 MD5 545c6fb63112b05bc8a1ca6a82563fa8 sbcl-0.8.13-html.tar.bz2 47417 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