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

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