{
    "url": "https://github.com/ERGO-Code/HiGHS/releases/download/v1.13.0/source-archive.tar.gz",
    "strip_prefix": "HiGHS",
    "integrity": "sha256-hCmwl58IeaZjYpJ5arQpe7DuKC1jBxDJ9zFVQbneqyE=",
    "patches": {
        "bazel.patch": "sha256-GQMHs1UzbW9cTAyW/OOh7aDBghDSe71w5CVTdMBxb0Q="
    }
}