| Package | Summary | Distribution | Download |
| coin-or-HiGHS-devel-1.12.0-1.fc44.aarch64.html | Header files and library links for HiGHS | Fedora Rawhide for aarch64 | coin-or-HiGHS-devel-1.12.0-1.fc44.aarch64.rpm |
| coin-or-HiGHS-devel-1.12.0-1.fc43.aarch64.html | Header files and library links for HiGHS | Fedora 43 updates for aarch64 | coin-or-HiGHS-devel-1.12.0-1.fc43.aarch64.rpm |
| coin-or-HiGHS-devel-1.12.0-1.fc42.aarch64.html | Header files and library links for HiGHS | Fedora 42 updates for aarch64 | coin-or-HiGHS-devel-1.12.0-1.fc42.aarch64.rpm |
| coin-or-HiGHS-devel-1.11.0-5.fc43.aarch64.html | Header files and library links for HiGHS | Fedora 43 for aarch64 | coin-or-HiGHS-devel-1.11.0-5.fc43.aarch64.rpm |
| coin-or-HiGHS-devel-1.11.0-5.fc43.aarch64.html | Header files and library links for HiGHS | Fedora 43 testing updates for aarch64 | coin-or-HiGHS-devel-1.11.0-5.fc43.aarch64.rpm |
| coin-or-HiGHS-devel-1.10.0-1.fc42.aarch64.html | Header files and library links for HiGHS | Fedora 42 for aarch64 | coin-or-HiGHS-devel-1.10.0-1.fc42.aarch64.rpm |
| coin-or-HiGHS-devel-1.9.0-1.fc41.aarch64.html | Header files and library links for HiGHS | Fedora 41 updates for aarch64 | coin-or-HiGHS-devel-1.9.0-1.fc41.aarch64.rpm |
| coin-or-HiGHS-devel-1.7.2-4.fc41.aarch64.html | Header files and library links for HiGHS | Fedora 41 for aarch64 | coin-or-HiGHS-devel-1.7.2-4.fc41.aarch64.rpm |