Index of /ubuntu-old-releases/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-4.diff.gz 03-May-2008 02:20 3866
coq-float_8.1-1.0-4.dsc 03-May-2008 02:20 764
coq-float_8.1-1.0.orig.tar.gz 28-Oct-2007 18:08 320981
coq-float_8.2-1.2-3.diff.gz 15-Aug-2009 17:04 2733
coq-float_8.2-1.2-3.dsc 15-Aug-2009 17:04 1327
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
coq-float_8.4-1.debian.tar.gz 09-May-2013 05:34 3371
coq-float_8.4-1.dsc 09-May-2013 05:34 1987
coq-float_8.4-4.debian.tar.xz 30-Jul-2014 17:44 3364
coq-float_8.4-4.dsc 30-Jul-2014 17:44 2003
coq-float_8.4.orig.tar.gz 09-May-2013 05:34 352313
libfloat-coq_8.1-1.0-3_all.deb 11-Jan-2008 10:04 9809590
libfloat-coq_8.1-1.0-4_all.deb 03-Jun-2008 00:05 9809450
libfloat-coq_8.2-1.2-3_all.deb 15-Aug-2009 17:04 10563136
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
libfloat-coq_8.4-1_all.deb 09-May-2013 05:34 16939310
libfloat-coq_8.4-4_all.deb 30-Jul-2014 18:38 11451748