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

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