../ cl-ieee-floats_20160318-1.debian.tar.xz 24-Apr-2019 17:13 1768 cl-ieee-floats_20160318-1.dsc 24-Apr-2019 17:13 1908 cl-ieee-floats_20160318-1_all.deb 24-Apr-2019 17:13 6328 cl-ieee-floats_20160318.orig.tar.gz 24-Apr-2019 17:13 5053