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

../
libscip-dev_10.0.1+ds-1_x32.deb                    26-Feb-2026 06:03    702K
libscip10.0-dbgsym_10.0.1+ds-1_x32.deb             26-Feb-2026 06:03     25M
libscip10.0_10.0.1+ds-1_x32.deb                    26-Feb-2026 06:03      5M
scip-dbgsym_10.0.1+ds-1_x32.deb                    26-Feb-2026 06:03     25M
scip_10.0.1+ds-1_x32.buildinfo                     26-Feb-2026 06:03     10K
scip_10.0.1+ds-1_x32.deb                           26-Feb-2026 06:03      5M