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

../
libscip-dev_10.0.3+ds-1_amd64.deb                  12-Jul-2026 21:00    703K
libscip10.0_10.0.3+ds-1_amd64.deb                  12-Jul-2026 21:00      5M
scip-doc_10.0.3+ds-1_all.deb                       12-Jul-2026 20:54     21M
scip_10.0.3+ds-1_amd64.deb                         12-Jul-2026 21:00      5M