(BIN) coq-float_8.1-1.0-4.diff.gz
 (TXT) coq-float_8.1-1.0-4.dsc
 (BIN) coq-float_8.1-1.0.orig.tar.gz
 (BIN) coq-float_8.2-1.2-5.debian.tar.gz
 (TXT) coq-float_8.2-1.2-5.dsc
 (BIN) coq-float_8.2-1.2.orig.tar.gz
 (BIN) coq-float_8.3pl1-4.debian.tar.gz
 (TXT) coq-float_8.3pl1-4.dsc
 (BIN) coq-float_8.3pl1.orig.tar.gz
 (BIN) coq-float_8.4-4.debian.tar.xz
 (TXT) coq-float_8.4-4.dsc
 (BIN) coq-float_8.4.orig.tar.gz
 (BIN) libfloat-coq_8.1-1.0-4_all.deb
 (BIN) libfloat-coq_8.2-1.2-5_all.deb
 (BIN) libfloat-coq_8.3pl1-4_all.deb
 (BIN) libfloat-coq_8.4-4_all.deb