Index of /mirrors/raspbian/raspbian/pool/main/c/coq-float

      Name                                    Last modified      Size  Description
      Parent Directory                                             -   
      coq-float_8.10.0-1.debian.tar.xz        2020-03-16 10:40  3.3K  
      coq-float_8.10.0-1.dsc                  2020-03-16 10:40  1.9K  
      coq-float_8.10.0.orig.tar.gz            2020-03-16 10:40   97K  
      coq-float_8.4-5.debian.tar.xz           2015-10-14 21:42  3.3K  
      coq-float_8.4-5.dsc                     2015-10-14 21:42  1.9K  
      coq-float_8.4.orig.tar.gz               2013-05-08 23:56  344K  
      libfloat-coq_8.10.0-1_all.deb           2020-03-16 11:05  1.2M  
      libfloat-coq_8.4-5_all.deb              2015-10-14 21:42   11M