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

Filename	Modification time	Size
scip_10.0.3+ds-1.debian.tar.xz	2026-07-13 08:29 CEST	10 KiB
scip_10.0.3+ds-1.dsc	2026-07-13 08:29 CEST	2401 B
scip_10.0.3+ds.orig.tar.xz	2026-07-13 08:29 CEST	6101 KiB
scip_10.1.0+ds-2.debian.tar.xz	2026-11-09 04:17 CET	12 KiB
scip_10.1.0+ds-2.dsc	2026-11-09 04:17 CET	2421 B
scip_10.1.0+ds.orig.tar.xz	2026-11-09 04:17 CET	6052 KiB