../ highs_1.10.0+ds-1_amd64.deb 26-Mar-2025 15:09 144K libhighs-dev_1.10.0+ds-1_amd64.deb 26-Mar-2025 15:09 403K libhighs1_1.10.0+ds-1_amd64.deb 26-Mar-2025 15:09 1M python3-highspy_1.10.0+ds-1_amd64.deb 26-Mar-2025 15:09 269K