../ libscip-dev_10.0.1+ds-1_armhf.deb 28-Feb-2026 16:08 718352 libscip10.0_10.0.1+ds-1_armhf.deb 28-Feb-2026 16:08 4291424 scip-doc_10.0.1+ds-1_all.deb 26-Feb-2026 04:20 21977864 scip_10.0.1+ds-1.debian.tar.xz 26-Feb-2026 04:00 10224 scip_10.0.1+ds-1.dsc 26-Feb-2026 04:00 2401 scip_10.0.1+ds-1_armhf.deb 28-Feb-2026 16:08 3731072 scip_10.0.1+ds.orig.tar.xz 26-Feb-2026 04:00 6242960