../ cl-ieee-floats_20140713-1.debian.tar.xz 09-Sep-2014 04:49 1696 cl-ieee-floats_20140713-1.dsc 09-Sep-2014 04:49 1908 cl-ieee-floats_20140713-1_all.deb 09-Sep-2014 04:49 6262 cl-ieee-floats_20140713.orig.tar.gz 09-Sep-2014 04:49 4992