../ scip_10.0.3+ds-1.debian.tar.xz 13-Jul-2026 06:29 10360 scip_10.0.3+ds-1.dsc 13-Jul-2026 06:29 2401 scip_10.0.3+ds.orig.tar.xz 13-Jul-2026 06:29 6247456 scip_10.1.0+ds-2.debian.tar.xz 09-Nov-2026 03:17 12328 scip_10.1.0+ds-2.dsc 09-Nov-2026 03:17 2421 scip_10.1.0+ds.orig.tar.xz 09-Nov-2026 03:17 6197732