../ libscip-dev_10.1.0+ds-2_x32.deb 22-Oct-2026 12:03 710K libscip10.0-dbgsym_10.1.0+ds-2_x32.deb 22-Oct-2026 12:03 39M libscip10.0_10.1.0+ds-2_x32.deb 22-Oct-2026 12:03 6M scip-dbgsym_10.1.0+ds-2_x32.deb 22-Oct-2026 12:03 40M scip_10.1.0+ds-2_x32.buildinfo 22-Oct-2026 12:03 11K scip_10.1.0+ds-2_x32.deb 22-Oct-2026 12:03 6M