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

../
highs-dbgsym_1.12.0+ds1-2_sh4.deb                  26-Dec-2025 06:03             2071340
highs_1.12.0+ds1-2_sh4.buildinfo                   26-Dec-2025 06:03                9540
highs_1.12.0+ds1-2_sh4.deb                         26-Dec-2025 06:03              172936
libhighs-dev_1.12.0+ds1-2_sh4.deb                  26-Dec-2025 06:03              434624
libhighs1-dbgsym_1.12.0+ds1-2_sh4.deb              26-Dec-2025 06:03            24808644
libhighs1_1.12.0+ds1-2_sh4.deb                     26-Dec-2025 06:03             1787104
python3-highspy-dbgsym_1.12.0+ds1-2_sh4.deb        26-Dec-2025 06:03             5056320
python3-highspy_1.12.0+ds1-2_sh4.deb               26-Dec-2025 06:03              350452