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

../
highs-dbgsym_1.12.0+ds1-2_x32.deb                  26-Dec-2025 00:03      2M
highs_1.12.0+ds1-2_x32.buildinfo                   26-Dec-2025 00:03    8818
highs_1.12.0+ds1-2_x32.deb                         26-Dec-2025 00:03    153K
libhighs-dev_1.12.0+ds1-2_x32.deb                  26-Dec-2025 00:03    424K
libhighs1-dbgsym_1.12.0+ds1-2_x32.deb              26-Dec-2025 00:03     22M
libhighs1_1.12.0+ds1-2_x32.deb                     26-Dec-2025 00:03      1M
python3-highspy-dbgsym_1.12.0+ds1-2_x32.deb        26-Dec-2025 00:03      5M
python3-highspy_1.12.0+ds1-2_x32.deb               26-Dec-2025 00:03    322K