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

	Name	Last modified	Size
	Parent Directory		-
	scip_10.0.3+ds-1.debian.tar.xz	2026-07-13 06:29	10K
	scip_10.0.3+ds-1.dsc	2026-07-13 06:29	2.3K
	scip_10.0.3+ds.orig.tar.xz	2026-07-13 06:29	6.0M
	scip_10.1.0+ds-2.debian.tar.xz	2026-11-09 03:17	12K
	scip_10.1.0+ds-2.dsc	2026-11-09 03:17	2.4K
	scip_10.1.0+ds.orig.tar.xz	2026-11-09 03:17	5.9M