Index of /debian-ports/pool-x32/main/h/highs/

../
highs-dbgsym_1.12.0+ds1-1_x32.deb                  10-Nov-2025 15:03      2M
highs_1.12.0+ds1-1_x32.buildinfo                   10-Nov-2025 15:03    8651
highs_1.12.0+ds1-1_x32.deb                         10-Nov-2025 15:03    153K
libhighs-dev_1.12.0+ds1-1_x32.deb                  10-Nov-2025 15:03    424K
libhighs1-dbgsym_1.12.0+ds1-1_x32.deb              10-Nov-2025 15:03     22M
libhighs1_1.12.0+ds1-1_x32.deb                     10-Nov-2025 15:03      1M
python3-highspy-dbgsym_1.12.0+ds1-1_x32.deb        10-Nov-2025 15:03      5M
python3-highspy_1.12.0+ds1-1_x32.deb               10-Nov-2025 15:03    321K