Index of /pool/main/s/scip/

../
libscip-dev_10.0.3+ds-1_amd64.deb                  06-Sep-2026 18:53              720012
libscip10.0_10.0.3+ds-1_amd64.deb                  06-Sep-2026 18:53             5042544
scip-doc_10.0.3+ds-1_all.deb                       06-Sep-2026 18:53            21975860
scip_10.0.3+ds-1_amd64.deb                         06-Sep-2026 18:53             4920352