/ubuntu/pool/universe/s/scip/

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