highs_1.12.0+ds1-3.debian.tar.xz
highs_1.12.0+ds1-3.dsc
highs_1.12.0+ds1-3_amd64.deb
highs_1.12.0+ds1-3_arm64.deb
highs_1.12.0+ds1-3_i386.deb
highs_1.12.0+ds1.orig.tar.xz
libhighs-dev_1.12.0+ds1-3_amd64.deb
libhighs-dev_1.12.0+ds1-3_arm64.deb
libhighs-dev_1.12.0+ds1-3_i386.deb
libhighs1_1.12.0+ds1-3_amd64.deb
libhighs1_1.12.0+ds1-3_arm64.deb
libhighs1_1.12.0+ds1-3_i386.deb
python3-highspy_1.12.0+ds1-3_amd64.deb
python3-highspy_1.12.0+ds1-3_arm64.deb
python3-highspy_1.12.0+ds1-3_i386.deb