Index of /pub/linux/debian/pool/main/s/scip

	Name	Last modified	Size	Description
	Parent Directory		-
	scip_10.0.0+ds-1.dsc	28-Jan-2026 12:59	2.3K
	scip_10.0.0+ds-1.debian.tar.xz	28-Jan-2026 12:59	47K
	scip_10.0.0+ds.orig.tar.xz	28-Jan-2026 12:59	6.0M