Index of /mirror/ftp.debian.org/debian-archive/debian/pool/main/c/coq-float/
../
coq-float_8.1-1.0-4.diff.gz 19-Jan-2008 16:32 3866
coq-float_8.1-1.0-4.dsc 19-Jan-2008 16:32 764
coq-float_8.1-1.0.orig.tar.gz 30-Aug-2007 13:02 320981
coq-float_8.2-1.2-5.debian.tar.gz 03-Jul-2010 16:42 3053
coq-float_8.2-1.2-5.dsc 03-Jul-2010 16:42 1974
coq-float_8.2-1.2.orig.tar.gz 13-Mar-2009 10:17 322949
coq-float_8.3pl1-4.debian.tar.gz 06-Jun-2012 21:47 3314
coq-float_8.3pl1-4.dsc 06-Jun-2012 21:47 2014
coq-float_8.3pl1.orig.tar.gz 09-Jan-2012 21:03 359738
coq-float_8.4-4.debian.tar.xz 30-Jul-2014 08:21 3364
coq-float_8.4-4.dsc 30-Jul-2014 08:21 2003
coq-float_8.4.orig.tar.gz 08-May-2013 22:56 352313
libfloat-coq_8.1-1.0-4_all.deb 19-Jan-2008 16:32 9809752
libfloat-coq_8.2-1.2-5_all.deb 03-Jul-2010 16:42 10722366
libfloat-coq_8.3pl1-4_all.deb 06-Jun-2012 21:47 16637158
libfloat-coq_8.4-4_all.deb 30-Jul-2014 08:21 11453132