highs_1.12.0+ds1-3ubuntu1_amd64.deb
libhighs-dev_1.12.0+ds1-3ubuntu1_amd64.deb
libhighs1_1.12.0+ds1-3ubuntu1_amd64.deb
python3-highspy_1.12.0+ds1-3ubuntu1_amd64.deb