../ coq-float_8.3pl1-4.debian.tar.gz 03-Apr-2019 01:19 3314 coq-float_8.3pl1-4.dsc 03-Apr-2019 01:19 2014 coq-float_8.3pl1.orig.tar.gz 03-Apr-2019 01:19 359738 coq-float_8.4-4.debian.tar.xz 03-Oct-2017 12:01 3364 coq-float_8.4-4.dsc 03-Oct-2017 12:01 2003 coq-float_8.4.orig.tar.gz 03-Oct-2017 12:01 352313 libfloat-coq_8.3pl1-4_all.deb 03-Apr-2019 01:59 16637158 libfloat-coq_8.4-4_all.deb 24-Aug-2017 09:34 11453132