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

../
libscip-dev_10.0.3+ds-1_amd64.deb                  12-Jul-2026 21:00              720012
libscip10.0_10.0.3+ds-1_amd64.deb                  12-Jul-2026 21:00             5042544
scip-doc_10.0.3+ds-1_all.deb                       12-Jul-2026 20:54            21975860
scip_10.0.3+ds-1_amd64.deb                         12-Jul-2026 21:00             4920352