../ cl-ieee-floats_20170830-1.debian.tar.xz 16-May-2018 10:11 1812 cl-ieee-floats_20170830-1.dsc 16-May-2018 10:11 1922 cl-ieee-floats_20170830-1_all.deb 16-May-2018 10:11 6684 cl-ieee-floats_20170830.orig.tar.gz 16-May-2018 10:11 5325