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

../
libscip-dev_10.0.2+ds-1_x32.deb                    05-Apr-2026 00:03              719124
libscip10.0-dbgsym_10.0.2+ds-1_x32.deb             05-Apr-2026 00:03            26281932
libscip10.0_10.0.2+ds-1_x32.deb                    05-Apr-2026 00:03             4983424
scip-dbgsym_10.0.2+ds-1_x32.deb                    05-Apr-2026 00:03            26646252
scip_10.0.2+ds-1_x32.buildinfo                     05-Apr-2026 00:03               10356
scip_10.0.2+ds-1_x32.deb                           05-Apr-2026 00:03             4874160