../ cl-ieee-floats_20150608-1.debian.tar.xz 15-Jul-2015 23:13 1752 cl-ieee-floats_20150608-1.dsc 15-Jul-2015 23:13 1908 cl-ieee-floats_20150608-1_all.deb 15-Jul-2015 23:13 6414 cl-ieee-floats_20150608.orig.tar.gz 15-Jul-2015 23:13 5041