../ cl-ieee-floats_20170830-1.1.debian.tar.xz 05-Jan-2021 17:44 1916 cl-ieee-floats_20170830-1.1.dsc 05-Jan-2021 17:44 1930 cl-ieee-floats_20170830-1.1_all.deb 05-Jan-2021 18:04 6828 cl-ieee-floats_20170830.orig.tar.gz 21-May-2018 06:00 5325