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