Public Mirrors
![[ICO]](/icons/blank.gif){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/icons/back.gif){kind=icon} | Parent Directory | - | |
![[TXT]](/icons/text.gif){kind=icon} | highs-1.14.0-ignore-test-iterations.patch | 2026-05-01 12:38 | 952 |
| highs-1.14.0-leave-rpath-alone.patch | 2026-05-01 12:38 | 1.7K |
| highs-1.14.0-unbundle-amd.patch | 2026-05-20 20:38 | 2.9K |
| highs-1.14.0-unbundle-cli11.patch | 2026-05-01 12:38 | 347 |
| highs-1.14.0-unbundle-metis.patch | 2026-05-20 20:38 | 4.1K |
| highs-1.14.0-unbundle-pdqsort.patch | 2026-05-01 12:38 | 1.4K |
| highs-1.14.0-unbundle-zstr.patch | 2026-05-01 12:38 | 1.7K |
| highs-1.14.0-vector-oob.patch | 2026-05-01 12:38 | 638 |