1 2
MD5 6d5f802852c45b9cbd249d5cb7237175 sbcl-0.6.12-linux-binary.tar.bz2 5517367 MD5 29950dacd0436d6931ea57a5d51bd829 sbcl-0.6.12-source.tar.bz2 1731572