base v0.15.1 fails to install since a few days #28675
Description
Dear opam repository maintainers, since a few days, several of our CIs are failing with:
#=== ERROR while fetching sources for base.v0.15.1 ============================#
OpamSolution.Fetch_fail("https://patch-diff.githubusercontent.com/raw/janestreet/base/pull/184.diff (Bad checksum, expected sha256=0fa6c87a379b3b35ffe3db3c8e1674dbc70cef91b5b457a35ed6d758a8f9ca80)")
Indeed, after downloading the file, the hash seems to be 7e311210b5cf7348f315d48bf8a4cc3773c6dcd0b3ee661285d1784932c5cbc2
Should I update the opam file, which currently contains:
patches: ["fix-mpopcnt.patch" { arch="arm64" & os="macos"} ]
extra-source "fix-mpopcnt.patch" {
src:
"https://patch-diff.githubusercontent.com/raw/janestreet/base/pull/184.diff"
checksum: [
"sha256=0fa6c87a379b3b35ffe3db3c8e1674dbc70cef91b5b457a35ed6d758a8f9ca80"
]
}
Or even better, should we store the patch in a less flaky place?