../ scip_10.0.3+ds-1.debian.tar.xz 13-Jul-2026 09:59 10K scip_10.0.3+ds-1.dsc 13-Jul-2026 09:59 2401 scip_10.0.3+ds.orig.tar.xz 13-Jul-2026 09:59 6M