Index of /debian-ports/pool-sh4/main/h/highs/

Name Size Date
📁 ../ - -
📄 highs-dbgsym_1.12.0+ds1-1_sh4.deb 2070488 bytes 2025-11-10 12:03:09
📄 highs_1.12.0+ds1-1_sh4.buildinfo 9375 bytes 2025-11-10 12:03:09
📄 highs_1.12.0+ds1-1_sh4.deb 172920 bytes 2025-11-10 12:03:09
📄 libhighs-dev_1.12.0+ds1-1_sh4.deb 434584 bytes 2025-11-10 12:03:09
📄 libhighs1-dbgsym_1.12.0+ds1-1_sh4.deb 24435308 bytes 2025-11-10 12:03:09
📄 libhighs1_1.12.0+ds1-1_sh4.deb 1769392 bytes 2025-11-10 12:03:09
📄 python3-highspy-dbgsym_1.12.0+ds1-1_sh4.deb 5010316 bytes 2025-11-10 12:03:09
📄 python3-highspy_1.12.0+ds1-1_sh4.deb 348532 bytes 2025-11-10 12:03:09