../ coq-float_8.2-1.2-5.debian.tar.gz 26-Apr-2023 10:46 3053 coq-float_8.2-1.2-5.dsc 26-Apr-2023 10:46 1974 coq-float_8.2-1.2.orig.tar.gz 26-Apr-2023 10:46 315K libfloat-coq_8.2-1.2-5_all.deb 26-Apr-2023 10:46 10M