../ 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 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