Index of /pub/cran/src/contrib/00Archive/mined

	Name	Last modified	Size	Description
	Parent Directory		-
	PACKAGES.rds	2026-07-09 04:30	407
	mined_1.0-3.tar.gz	2022-06-26 21:30	14K
	mined_1.0-2.tar.gz	2019-07-18 06:35	14K
	mined_1.0-1.tar.gz	2018-12-16 14:40	14K