Index of /debian-archive/debian/pool/main/c/coq-float/
../
coq-float_8.1-1.0-4.diff.gz 19-Jan-2008 23:32 3866
coq-float_8.1-1.0-4.dsc 19-Jan-2008 23:32 764
coq-float_8.1-1.0.orig.tar.gz 30-Aug-2007 20:02 313K
coq-float_8.2-1.2-5.debian.tar.gz 03-Jul-2010 23:42 3053
coq-float_8.2-1.2-5.dsc 03-Jul-2010 23:42 1974
coq-float_8.2-1.2.orig.tar.gz 13-Mar-2009 17:17 315K
coq-float_8.3pl1-4.debian.tar.gz 07-Jun-2012 04:47 3314
coq-float_8.3pl1-4.dsc 07-Jun-2012 04:47 2014
coq-float_8.3pl1.orig.tar.gz 10-Jan-2012 04:03 351K
coq-float_8.4-4.debian.tar.xz 30-Jul-2014 15:21 3364
coq-float_8.4-4.dsc 30-Jul-2014 15:21 2003
coq-float_8.4.orig.tar.gz 09-May-2013 05:56 344K
libfloat-coq_8.1-1.0-4_all.deb 19-Jan-2008 23:32 9M
libfloat-coq_8.2-1.2-5_all.deb 03-Jul-2010 23:42 10M
libfloat-coq_8.3pl1-4_all.deb 07-Jun-2012 04:47 16M
libfloat-coq_8.4-4_all.deb 30-Jul-2014 15:21 11M