../ cl-ieee-floats_20170830-1.debian.tar.xz 27-Mar-2020 22:01 1812 cl-ieee-floats_20170830-1.dsc 27-Mar-2020 22:01 1922 cl-ieee-floats_20170830-1_all.deb 27-Mar-2020 22:01 6684 cl-ieee-floats_20170830.orig.tar.gz 27-Mar-2020 22:01 5325