Name	Last modified	Size
Parent Directory		-
scip_10.0.3+ds-1.debian.tar.xz	2026-07-13 01:29	10K
scip_10.0.3+ds-1.dsc	2026-07-13 01:29	2.3K
scip_10.0.3+ds.orig.tar.xz	2026-07-13 01:29	6.0M