Index of /pool/universe/s/scip

	Name	Last modified	Size	Description
	Parent Directory		-
	scip_10.0.2+ds-1.deb..>	2026-05-29 16:02	10K
	scip_10.0.2+ds-1.dsc	2026-05-29 16:02	2.3K
	scip_10.0.2+ds.orig...>	2026-05-29 16:02	6.0M