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

../
libscip-dev_10.1.0+ds-2_x32.deb                    22-Oct-2026 12:03              727248
libscip10.0-dbgsym_10.1.0+ds-2_x32.deb             22-Oct-2026 12:03            40904020
libscip10.0_10.1.0+ds-2_x32.deb                    22-Oct-2026 12:03             5877304
scip-dbgsym_10.1.0+ds-2_x32.deb                    22-Oct-2026 12:03            42426772
scip_10.1.0+ds-2_x32.buildinfo                     22-Oct-2026 12:03               10871
scip_10.1.0+ds-2_x32.deb                           22-Oct-2026 12:03             5795264