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

../
scip_10.0.0+ds-1.debian.tar.xz                     28-Jan-2026 14:59     47K
scip_10.0.0+ds-1.dsc                               28-Jan-2026 14:59    2384
scip_10.0.0+ds.orig.tar.xz                         28-Jan-2026 14:59      6M