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

../
libscip-dev_10.0.2+ds-1_x32.deb                    05-Apr-2026 00:03    702K
libscip10.0-dbgsym_10.0.2+ds-1_x32.deb             05-Apr-2026 00:03     25M
libscip10.0_10.0.2+ds-1_x32.deb                    05-Apr-2026 00:03      5M
scip-dbgsym_10.0.2+ds-1_x32.deb                    05-Apr-2026 00:03     25M
scip_10.0.2+ds-1_x32.buildinfo                     05-Apr-2026 00:03     10K
scip_10.0.2+ds-1_x32.deb                           05-Apr-2026 00:03      5M