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

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