Index of /debian-ports/pool-x32/main/s/scip/

../
libscip-dev_10.0.1+ds-1_x32.deb                    26-Feb-2026 06:03              718348
libscip10.0-dbgsym_10.0.1+ds-1_x32.deb             26-Feb-2026 06:03            26296004
libscip10.0_10.0.1+ds-1_x32.deb                    26-Feb-2026 06:03             4980280
scip-dbgsym_10.0.1+ds-1_x32.deb                    26-Feb-2026 06:03            26652620
scip_10.0.1+ds-1_x32.buildinfo                     26-Feb-2026 06:03               10375
scip_10.0.1+ds-1_x32.deb                           26-Feb-2026 06:03             4872024