Index of /pub/cran/src/contrib/00Archive/mined

      Name                             Last modified      Size  
      Parent Directory                                      -   
      mined_1.0-1.tar.gz               2018-12-16 16:40   14K  
      mined_1.0-2.tar.gz               2019-07-18 09:35   14K