{ | |
"url": "https://ftp.gnu.org/gnu/glpk/glpk-5.0.tar.gz", | |
"integrity": "sha256-ShAT7rtQ9yj8YBvdgzsLKHAzPDs+WoFu66kh2VvsbxU=", | |
"strip_prefix": "glpk-5.0", | |
"overlay": { | |
"BUILD.bazel": "sha256-kfInqEc0tFMvD6T7heXJAdkHclDczZ3Ei0T7Pp7+l3A=", | |
"MODULE.bazel": "sha256-Wbc3rJlnjxFHtV9njzgPCa70LYgiBAOCA1I3KvkVCUQ=", | |
"src/minisat/minisat.h": "sha256-Ra9+iMm39qVw6lyssgMOydAank6cOWQgLNrozp//xb8=" | |
} | |
} |