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

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]coq-float_8.1-1.0-4.diff.gz2008-01-19 16:32 3.8K
[   ]coq-float_8.1-1.0-4.dsc2008-01-19 16:32 764
[   ]coq-float_8.1-1.0.orig.tar.gz2007-08-30 13:02 313K
[   ]coq-float_8.2-1.2-5.debian.tar.gz2010-07-03 16:42 3.0K
[   ]coq-float_8.2-1.2-5.dsc2010-07-03 16:42 1.9K
[   ]coq-float_8.2-1.2.orig.tar.gz2009-03-13 10:17 315K
[   ]coq-float_8.3pl1-4.debian.tar.gz2012-06-06 21:47 3.2K
[   ]coq-float_8.3pl1-4.dsc2012-06-06 21:47 2.0K
[   ]coq-float_8.3pl1.orig.tar.gz2012-01-09 21:03 351K
[   ]coq-float_8.4-4.debian.tar.xz2014-07-30 08:21 3.3K
[   ]coq-float_8.4-4.dsc2014-07-30 08:21 2.0K
[   ]coq-float_8.4.orig.tar.gz2013-05-08 22:56 344K
[   ]libfloat-coq_8.1-1.0-4_all.deb2008-01-19 16:32 9.4M
[   ]libfloat-coq_8.2-1.2-5_all.deb2010-07-03 16:42 10M
[   ]libfloat-coq_8.3pl1-4_all.deb2012-06-06 21:47 16M
[   ]libfloat-coq_8.4-4_all.deb2014-07-30 08:21 11M

Apache Server at archive.debian.org Port 80