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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 coq-float_8.1-1.0-4...> 19-Jan-2008 16:32  3.8K  
 coq-float_8.1-1.0-4.dsc 19-Jan-2008 16:32  764   
 coq-float_8.1-1.0.or..> 30-Aug-2007 13:02  313K  
 coq-float_8.2-1.2-5...> 03-Jul-2010 16:42  3.0K  
 coq-float_8.2-1.2-5.dsc 03-Jul-2010 16:42  1.9K  
 coq-float_8.2-1.2.or..> 13-Mar-2009 10:17  315K  
 coq-float_8.3pl1-4.d..> 06-Jun-2012 21:47  3.2K  
 coq-float_8.3pl1-4.dsc  06-Jun-2012 21:47  2.0K  
 coq-float_8.3pl1.ori..> 09-Jan-2012 21:03  351K  
 coq-float_8.4-4.debi..> 30-Jul-2014 08:21  3.3K  
 coq-float_8.4-4.dsc     30-Jul-2014 08:21  2.0K  
 coq-float_8.4.orig.t..> 08-May-2013 22:56  344K  
 libfloat-coq_8.1-1.0..> 19-Jan-2008 16:32  9.4M  
 libfloat-coq_8.2-1.2..> 03-Jul-2010 16:42   10M  
 libfloat-coq_8.3pl1-..> 06-Jun-2012 21:47   16M  
 libfloat-coq_8.4-4_a..> 30-Jul-2014 08:21   11M