Draft: Fix gmp homebrew
In a similar fashion to what has been proposed (and accepted for merge) for this PR : https://github.com/ocaml/opam-repository/pull/25592, we provide a fix for macos homebrew distribs.
Hello! Thanks for working on fixing this package, @clebreto. Is this still WIP, or ready for review and/or needing feedback?
Hi @shonfeder,
Thanks for reaching out.
I would want to wait until this https://github.com/ocaml/opam-repository/pull/26912 goes through the integration process.
If that is ok ? Despite the recent (and pending) MR(s) on opam-repositories related to Macos Homebrew, we had made the fixes about 8 months ago and despite the foggy memories there might be a dependency chain to respect for the CI to ever succeed at this MR.