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

../
highs-dbgsym_1.11.0+ds-1_sh4.deb                   15-Aug-2025 12:03      1M
highs_1.11.0+ds-1_sh4.buildinfo                    15-Aug-2025 12:03    9472
highs_1.11.0+ds-1_sh4.deb                          15-Aug-2025 12:03    165K
libhighs-dev_1.11.0+ds-1_sh4.deb                   15-Aug-2025 12:03    417K
libhighs1-dbgsym_1.11.0+ds-1_sh4.deb               15-Aug-2025 12:03     18M
libhighs1_1.11.0+ds-1_sh4.deb                      15-Aug-2025 12:03      2M
python3-highspy-dbgsym_1.11.0+ds-1_sh4.deb         15-Aug-2025 12:03      3M
python3-highspy_1.11.0+ds-1_sh4.deb                15-Aug-2025 12:03    290K