../ libscip-dev_10.0.2+ds-1_amd64.deb 04-Apr-2026 17:26 719124 libscip10.0_10.0.2+ds-1_amd64.deb 04-Apr-2026 17:26 5020220 scip-doc_10.0.2+ds-1_all.deb 04-Apr-2026 17:26 21982648 scip_10.0.2+ds-1.debian.tar.xz 04-Apr-2026 17:01 10552 scip_10.0.2+ds-1.dsc 04-Apr-2026 17:01 2401 scip_10.0.2+ds-1_amd64.deb 04-Apr-2026 17:26 4900312 scip_10.0.2+ds.orig.tar.xz 04-Apr-2026 17:01 6245296