Index of ftp://ftp.klid.dk/pub2/ubuntu/pool/universe/c/coq-float

[DIR] Parent Directory

[ GZ] coq-float_8.2-1.2-9.debian.tar.gz  3.39Kb  January 8 2012  [find mirrors]
[ ] coq-float_8.2-1.2-9.dsc  1.97Kb  January 8 2012  [find mirrors]
[ GZ] coq-float_8.2-1.2.orig.tar.gz  315.38Kb  April 28 2009  [find mirrors]
[ ] coq-float_8.4-3.debian.tar.xz  3.25Kb  January 21 2014  [find mirrors]
[ ] coq-float_8.4-3.dsc  1.93Kb  January 21 2014  [find mirrors]
[ ] coq-float_8.4-5build1.debian.tar.xz  3.34Kb  November 4 2015  [find mirrors]
[ ] coq-float_8.4-5build1.dsc  1.96Kb  November 4 2015  [find mirrors]
[ GZ] coq-float_8.4.orig.tar.gz  344.06Kb  May 9 2013  [find mirrors]
[ ] libfloat-coq_8.2-1.2-9_all.deb  13.34Mb  January 8 2012  [find mirrors]
[ ] libfloat-coq_8.4-3_all.deb  10.91Mb  January 21 2014  [find mirrors]
[ ] libfloat-coq_8.4-5build1_all.deb  10.92Mb  November 4 2015  [find mirrors]