Index of ftp://linux3.cc.ntu.edu.tw/debian/pool/main/c/coq-float

[DIR] Parent Directory

[ ] coq-float_8.4-4.debian.tar.xz  3.29Kb  July 30 2014  [find mirrors]
[ ] coq-float_8.4-4.dsc  1.96Kb  July 30 2014  [find mirrors]
[ ] coq-float_8.4-5.debian.tar.xz  3.29Kb  October 14 2015  [find mirrors]
[ ] coq-float_8.4-5.dsc  1.94Kb  October 14 2015  [find mirrors]
[ GZ] coq-float_8.4.orig.tar.gz  344.06Kb  May 8 2013  [find mirrors]
[ ] libfloat-coq_8.4-4_all.deb  10.92Mb  July 30 2014  [find mirrors]
[ ] libfloat-coq_8.4-5_all.deb  10.92Mb  October 14 2015  [find mirrors]