../ cl-ieee-floats_20160318-1.debian.tar.xz 06-Apr-2016 18:54 1768 cl-ieee-floats_20160318-1.dsc 06-Apr-2016 18:54 1908 cl-ieee-floats_20160318-1_all.deb 06-Apr-2016 18:54 6328 cl-ieee-floats_20160318.orig.tar.gz 06-Apr-2016 18:54 5053