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

../
highs-dbgsym_1.12.0+ds1-3_sh4.deb                  06-Feb-2026 12:03      2M
highs_1.12.0+ds1-3_sh4.buildinfo                   06-Feb-2026 12:03    9572
highs_1.12.0+ds1-3_sh4.deb                         06-Feb-2026 12:03    174K
libhighs-dev_1.12.0+ds1-3_sh4.deb                  06-Feb-2026 12:03    425K
libhighs1-dbgsym_1.12.0+ds1-3_sh4.deb              06-Feb-2026 12:03     24M
libhighs1_1.12.0+ds1-3_sh4.deb                     06-Feb-2026 12:03      2M
python3-highspy-dbgsym_1.12.0+ds1-3_sh4.deb        06-Feb-2026 12:03      5M
python3-highspy_1.12.0+ds1-3_sh4.deb               06-Feb-2026 12:03    342K