Index of /ubuntu/pool/universe/c/coq-float/

../
coq-float_8.1-1.0-3.diff.gz                        19-Nov-2007 12:03                3768
coq-float_8.1-1.0-3.dsc                            19-Nov-2007 12:03                 595
coq-float_8.1-1.0.orig.tar.gz                      28-Oct-2007 18:08              320981
coq-float_8.2-1.2-4.diff.gz                        10-Mar-2010 13:04                2744
coq-float_8.2-1.2-4.dsc                            10-Mar-2010 13:04                1948
coq-float_8.2-1.2-5.debian.tar.gz                  29-Jul-2010 13:05                3070
coq-float_8.2-1.2-5.dsc                            29-Jul-2010 13:05                1334
coq-float_8.2-1.2-7.debian.tar.gz                  30-Apr-2011 15:05                3492
coq-float_8.2-1.2-7.dsc                            30-Apr-2011 15:05                1974
coq-float_8.2-1.2-9.debian.tar.gz                  08-Jan-2012 02:34                3474
coq-float_8.2-1.2-9.dsc                            08-Jan-2012 02:34                2021
coq-float_8.2-1.2.orig.tar.gz                      28-Apr-2009 23:05              322949
coq-float_8.3pl1-4.debian.tar.gz                   08-Jun-2012 14:36                3314
coq-float_8.3pl1-4.dsc                             08-Jun-2012 14:36                2014
coq-float_8.3pl1.orig.tar.gz                       30-Apr-2012 19:41              359738
libfloat-coq_8.1-1.0-3_all.deb                     11-Jan-2008 10:04             9809590
libfloat-coq_8.2-1.2-4_all.deb                     10-Mar-2010 13:04            10727764
libfloat-coq_8.2-1.2-5_all.deb                     29-Jul-2010 14:05            10721776
libfloat-coq_8.2-1.2-7_all.deb                     19-May-2011 18:04            13908856
libfloat-coq_8.2-1.2-9_all.deb                     08-Jan-2012 02:35            13989620
libfloat-coq_8.3pl1-4_all.deb                      08-Jun-2012 19:06            16635296