../ scip_10.0.3+ds-1.debian.tar.xz 13-Jul-2026 13:29 10K scip_10.0.3+ds-1.dsc 13-Jul-2026 13:29 2401 scip_10.0.3+ds.orig.tar.xz 13-Jul-2026 13:29 6M scip_10.1.0+ds-2.debian.tar.xz 09-Nov-2026 10:17 12K scip_10.1.0+ds-2.dsc 09-Nov-2026 10:17 2421 scip_10.1.0+ds.orig.tar.xz 09-Nov-2026 10:17 6M