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

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]coq-float_8.1-1.0-3.diff.gz19-Nov-2007 20:03 3.7K 
[TXT]coq-float_8.1-1.0-3.dsc19-Nov-2007 20:03 595  
[   ]coq-float_8.1-1.0.orig.tar.gz29-Oct-2007 02:08 313K 
[   ]coq-float_8.2-1.2-4.diff.gz10-Mar-2010 21:04 2.7K 
[TXT]coq-float_8.2-1.2-4.dsc10-Mar-2010 21:04 1.9K 
[   ]coq-float_8.2-1.2-5.debian.tar.gz29-Jul-2010 21:05 3.0K 
[TXT]coq-float_8.2-1.2-5.dsc29-Jul-2010 21:05 1.3K 
[   ]coq-float_8.2-1.2-7.debian.tar.gz30-Apr-2011 23:05 3.4K 
[TXT]coq-float_8.2-1.2-7.dsc30-Apr-2011 23:05 1.9K 
[   ]coq-float_8.2-1.2-9.debian.tar.gz08-Jan-2012 10:34 3.4K 
[TXT]coq-float_8.2-1.2-9.dsc08-Jan-2012 10:34 2.0K 
[   ]coq-float_8.2-1.2.orig.tar.gz29-Apr-2009 07:05 315K 
[   ]coq-float_8.3pl1-4.debian.tar.gz08-Jun-2012 22:36 3.2K 
[TXT]coq-float_8.3pl1-4.dsc08-Jun-2012 22:36 2.0K 
[   ]coq-float_8.3pl1.orig.tar.gz01-May-2012 03:41 351K 
[   ]libfloat-coq_8.1-1.0-3_all.deb11-Jan-2008 18:04 9.4M 
[   ]libfloat-coq_8.2-1.2-4_all.deb10-Mar-2010 21:04 10M 
[   ]libfloat-coq_8.2-1.2-5_all.deb29-Jul-2010 22:05 10M 
[   ]libfloat-coq_8.2-1.2-7_all.deb20-May-2011 02:04 13M 
[   ]libfloat-coq_8.2-1.2-9_all.deb08-Jan-2012 10:35 13M 
[   ]libfloat-coq_8.3pl1-4_all.deb09-Jun-2012 03:06 16M