../ libscip-dev_10.0.1+ds-1_amd64.deb 26-Feb-2026 04:20 702K libscip10.0_10.0.1+ds-1_amd64.deb 26-Feb-2026 04:20 5M scip-doc_10.0.1+ds-1_all.deb 26-Feb-2026 04:20 21M scip_10.0.1+ds-1.debian.tar.xz 26-Feb-2026 04:00 10K scip_10.0.1+ds-1.dsc 26-Feb-2026 04:00 2401 scip_10.0.1+ds-1_amd64.deb 26-Feb-2026 04:20 5M scip_10.0.1+ds.orig.tar.xz 26-Feb-2026 04:00 6M