../ sbcl-doc_1.0.57.0-2_all.deb 15-Jun-2012 22:50 1326046 sbcl-source_1.0.57.0-2_all.deb 15-Jun-2012 22:50 3650730 sbcl_1.0.57.0-2.debian.tar.gz 15-Jun-2012 22:50 67038 sbcl_1.0.57.0-2.dsc 15-Jun-2012 22:50 2250 sbcl_1.0.57.0-2_amd64.deb 15-Jun-2012 22:50 10864734 sbcl_1.0.57.0.orig.tar.bz2 23-May-2012 22:23 3611050