File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
scip_10.0.3+ds-1.debian.tar.xz	10.1 KiB	2026-Jul-12 23:29
scip_10.0.3+ds-1.dsc	2.3 KiB	2026-Jul-12 23:29
scip_10.0.3+ds.orig.tar.xz	6.0 MiB	2026-Jul-12 23:29