Index of /pub/cran/src/contrib/00Archive/ROI.plugin.deoptim

      Name                             Last modified      Size  
      Parent Directory                                      -   
      ROI.plugin.deoptim_0.3-2.tar.gz  2019-01-24 10:40  6.4K  
      ROI.plugin.deoptim_0.3-0.tar.gz  2017-10-23 14:05  5.0K