../ highs_1.12.0+ds1-3ubuntu1.debian.tar.xz 17-Feb-2026 17:45 7348 highs_1.12.0+ds1-3ubuntu1.dsc 17-Feb-2026 17:45 2340 highs_1.12.0+ds1-3ubuntu1_amd64.deb 17-Feb-2026 17:53 171360 highs_1.12.0+ds1.orig.tar.xz 10-Nov-2025 12:54 1589976 libhighs-dev_1.12.0+ds1-3ubuntu1_amd64.deb 17-Feb-2026 17:53 321630 libhighs1_1.12.0+ds1-3ubuntu1_amd64.deb 17-Feb-2026 17:53 1607468 python3-highspy_1.12.0+ds1-3ubuntu1_amd64.deb 17-Feb-2026 17:53 358468