Index of /pub/linux/ubuntu/pool/universe/s/scip/

Filename	Modification time	Size
scip_10.0.2+ds-1.debian.tar.xz	2026-05-29 14:32 CEST	10 KiB
scip_10.0.2+ds-1.dsc	2026-05-29 14:32 CEST	2401 B
scip_10.0.2+ds.orig.tar.xz	2026-05-29 14:32 CEST	6099 KiB