Index of /gnewsense/pool/main/c/coq-float

      Name                              Last modified      Size  Description
Parent Directory - coq-float_8.2-1.2-5.debian.tar.gz 2010-07-03 17:42 3.0K coq-float_8.2-1.2-5.dsc 2010-07-03 17:42 1.9K coq-float_8.2-1.2.orig.tar.gz 2009-03-13 10:17 315K coq-float_8.3pl1-4.debian.tar.gz 2012-06-06 22:47 3.2K coq-float_8.3pl1-4.dsc 2012-06-06 22:47 2.0K coq-float_8.3pl1.orig.tar.gz 2012-01-09 21:03 351K libfloat-coq_8.2-1.2-5_all.deb 2010-07-03 17:42 10M libfloat-coq_8.3pl1-4_all.deb 2012-06-06 22:47 16M
ftp.heanet.ie