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

../
highs-dbgsym_1.12.0+ds1-3_sh4.deb                  06-Feb-2026 12:03             2144000
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              178684
libhighs-dev_1.12.0+ds1-3_sh4.deb                  06-Feb-2026 12:03              434688
libhighs1-dbgsym_1.12.0+ds1-3_sh4.deb              06-Feb-2026 12:03            24808528
libhighs1_1.12.0+ds1-3_sh4.deb                     06-Feb-2026 12:03             1786868
python3-highspy-dbgsym_1.12.0+ds1-3_sh4.deb        06-Feb-2026 12:03             5056316
python3-highspy_1.12.0+ds1-3_sh4.deb               06-Feb-2026 12:03              350680