Index of /debian/pool/main/h/highs/

../
highs_1.10.0+ds-1_amd64.deb                        10-Aug-2025 12:25              147924
libhighs-dev_1.10.0+ds-1_amd64.deb                 10-Aug-2025 12:25              413140
libhighs1_1.10.0+ds-1_amd64.deb                    10-Aug-2025 12:25             1337736
python3-highspy_1.10.0+ds-1_amd64.deb              10-Aug-2025 12:25              275528