Name	Size	Modified
	../	—	—
	scip_10.0.3+ds-1.debian.tar.xz	10.1 KB	Jul 13, 2026
	scip_10.0.3+ds-1.dsc	2.3 KB	Jul 13, 2026
	scip_10.0.3+ds.orig.tar.xz	6 MB	Jul 13, 2026