../ highs_1.10.0+ds-1_amd64.deb 17-Oct-2025 13:50 144K libhighs-dev_1.10.0+ds-1_amd64.deb 17-Oct-2025 13:50 403K libhighs1_1.10.0+ds-1_amd64.deb 17-Oct-2025 13:50 1M python3-highspy_1.10.0+ds-1_amd64.deb 17-Oct-2025 13:50 269K