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