../ cl-ieee-floats_20170830-1.1.debian.tar.xz 18-Jul-2025 15:14 1928 cl-ieee-floats_20170830-1.1.dsc 18-Jul-2025 15:14 1047 cl-ieee-floats_20170830-1.1_all.deb 16-Jul-2025 21:38 6808 cl-ieee-floats_20170830.orig.tar.gz 18-Jul-2025 15:14 5325