Name	Size	Modified
	../	—	—
	scip_10.0.2+ds-1.debian.tar.xz	10.3 KB	May 29, 2026
	scip_10.0.2+ds-1.dsc	2.3 KB	May 29, 2026
	scip_10.0.2+ds.orig.tar.xz	6 MB	May 29, 2026