highs_1.12.0+ds1-1_amd64.deb
highs_1.12.0+ds1-1_arm64.deb
libhighs-dev_1.12.0+ds1-1_amd64.deb
libhighs-dev_1.12.0+ds1-1_arm64.deb
libhighs1_1.12.0+ds1-1_amd64.deb
libhighs1_1.12.0+ds1-1_arm64.deb
python3-highspy_1.12.0+ds1-1_amd64.deb
python3-highspy_1.12.0+ds1-1_arm64.deb