../ sbcl-doc_1.2.4-2_all.deb 20-Oct-2014 21:59 1363500 sbcl-source_1.2.4-2_all.deb 20-Oct-2014 21:59 2709534 sbcl_1.2.4-2.debian.tar.xz 20-Oct-2014 21:59 119028 sbcl_1.2.4-2.dsc 20-Oct-2014 21:59 2346 sbcl_1.2.4-2_armhf.deb 20-Dec-2014 23:55 7946434 sbcl_1.2.4.orig.tar.bz2 08-Oct-2014 16:22 4486150