Index of /debian/pool/main/s/scip/

../
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_amd64.deb                         04-Apr-2026 17:26             4900312