Index of /cran/src/contrib/00Archive/rpicosat

	Name	Last modified	Size	Description
	Parent Directory		-
	rpicosat_1.0.0.tar.gz	2017-11-14 14:56	54K
	rpicosat_1.0.1.tar.gz	2017-11-16 04:18	54K