../ libscip-dev_10.0.2+ds-1_riscv64.deb 02-Jun-2026 19:36 506K libscip10.0_10.0.2+ds-1_riscv64.deb 02-Jun-2026 19:36 5M scip_10.0.2+ds-1.debian.tar.xz 29-May-2026 20:32 10K scip_10.0.2+ds-1.dsc 29-May-2026 20:32 2401 scip_10.0.2+ds-1_riscv64.deb 02-Jun-2026 19:36 5M scip_10.0.2+ds.orig.tar.xz 29-May-2026 20:32 6M