../ libscip-dev_10.1.0+ds-2_armhf.deb 25-Sep-2026 04:08 727244 libscip10.0_10.1.0+ds-2_armhf.deb 25-Sep-2026 04:08 4942936 scip-doc_10.1.0+ds-2_all.deb 21-Sep-2026 20:29 22037808 scip_10.1.0+ds-2.debian.tar.xz 21-Sep-2026 19:12 12328 scip_10.1.0+ds-2.dsc 21-Sep-2026 19:12 2421 scip_10.1.0+ds-2_armhf.deb 25-Sep-2026 04:08 4328384 scip_10.1.0+ds.orig.tar.xz 21-Sep-2026 09:22 6197732