Index of /debian/pool/main/c/coq-float

 Name                              Last modified      Size  Description
 Parent Directory                                       -   
 coq-float_8.1-1.0.orig.tar.gz     30-Aug-2007 21:02  313K  
 coq-float_8.1-1.0-4.diff.gz       20-Jan-2008 00:32  3.8K  
 coq-float_8.1-1.0-4.dsc           20-Jan-2008 00:32  764   
 libfloat-coq_8.1-1.0-4_all.deb    20-Jan-2008 00:32  9.4M  
 coq-float_8.2-1.2.orig.tar.gz     13-Mar-2009 18:17  315K  
 coq-float_8.2-1.2-5.debian.tar.gz 04-Jul-2010 00:42  3.0K  
 coq-float_8.2-1.2-5.dsc           04-Jul-2010 00:42  1.9K  
 libfloat-coq_8.2-1.2-5_all.deb    04-Jul-2010 00:42   10M  
 coq-float_8.2-1.2-7.debian.tar.gz 21-Apr-2011 00:17  3.4K  
 coq-float_8.2-1.2-7.dsc           21-Apr-2011 00:17  1.9K  
 libfloat-coq_8.2-1.2-7_all.deb    21-Apr-2011 00:17   13M  
 coq-float_8.2-1.2-8.debian.tar.gz 03-Nov-2011 14:03  3.4K  
 coq-float_8.2-1.2-8.dsc           03-Nov-2011 14:03  2.0K  
 libfloat-coq_8.2-1.2-8_all.deb    03-Nov-2011 14:03   13M  
 coq-float_8.2-1.2-9.debian.tar.gz 26-Dec-2011 01:32  3.4K  
 coq-float_8.2-1.2-9.dsc           26-Dec-2011 01:32  2.0K  
 libfloat-coq_8.2-1.2-9_all.deb    26-Dec-2011 01:32   13M  
 coq-float_8.3pl1-1.debian.tar.gz  10-Jan-2012 05:03  3.2K  
 coq-float_8.3pl1-1.dsc            10-Jan-2012 05:03  2.0K  
 coq-float_8.3pl1.orig.tar.gz      10-Jan-2012 05:03  351K  
 libfloat-coq_8.3pl1-1_all.deb     10-Jan-2012 05:03   16M  
 coq-float_8.3pl1-2.debian.tar.gz  06-Mar-2012 17:03  3.2K  
 coq-float_8.3pl1-2.dsc            06-Mar-2012 17:03  2.0K  
 libfloat-coq_8.3pl1-2_all.deb     06-Mar-2012 17:03   16M