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

	Name	Last modified	Size	Description
	Parent Directory		-
	ROI.plugin.deoptim_0..>	2017-10-23 16:35	5.0K
	ROI.plugin.deoptim_0..>	2019-01-24 14:10	6.4K
	ROI.plugin.deoptim_1..>	2020-08-30 01:40	6.2K
	ROI.plugin.deoptim_1..>	2023-07-05 13:53	6.2K