Index of /ubuntu/pool/universe/s/scip

	Name	Last modified	Size
	Parent Directory		-
	scip_10.0.2+ds-1.debian.tar.xz	29-May-2026 14:32	10K
	scip_10.0.2+ds-1.dsc	29-May-2026 14:32	2.3K
	scip_10.0.2+ds.orig.tar.xz	29-May-2026 14:32	6.0M