../ highs-1.14.0-1.fc42.src.rpm 17-Oct-2026 15:24 2.8 MB highs-1.14.0-1.fc42.x86_64.rpm 17-Oct-2026 15:24 2.0 MB highs-debuginfo-1.14.0-1.fc42.x86_64.rpm 17-Oct-2026 15:24 21.1 MB highs-debugsource-1.14.0-1.fc42.x86_64.rpm 17-Oct-2026 15:24 979.0 kB highs-devel-1.14.0-1.fc42.x86_64.rpm 17-Oct-2026 15:24 293.2 kB