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

      Name                              Last modified      Size  Description
      Parent Directory                                       -   
      coq-float_8.2-1.2-5.debian.tar.gz 2010-07-03 17:42  3.0K  
      coq-float_8.2-1.2-5.dsc           2010-07-03 17:42  1.9K  
      coq-float_8.2-1.2.orig.tar.gz     2009-03-13 10:17  315K  
      coq-float_8.3pl1-4.debian.tar.gz  2012-06-06 22:47  3.2K  
      coq-float_8.3pl1-4.dsc            2012-06-06 22:47  2.0K  
      coq-float_8.3pl1.orig.tar.gz      2012-01-09 21:03  351K  
      libfloat-coq_8.2-1.2-5_all.deb    2010-07-03 17:42   10M  
      libfloat-coq_8.3pl1-4_all.deb     2012-06-06 22:47   16M