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

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