../ 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 167K highs_1.12.0+ds1.orig.tar.xz 10-Nov-2025 12:54 2M libhighs-dev_1.12.0+ds1-3ubuntu1_amd64.deb 17-Feb-2026 17:53 314K libhighs1_1.12.0+ds1-3ubuntu1_amd64.deb 17-Feb-2026 17:53 2M python3-highspy_1.12.0+ds1-3ubuntu1_amd64.deb 17-Feb-2026 17:53 350K