Index of /gnewsense-three/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