arozovyk
arozovyk
There have been [issues](https://gmplib.org/macos) with gmp and macos, especially ARM chip ones. I've been able to resolve this by locating the gmp installed via brew: `brew info gmp` ```sh /opt/homebrew/Cellar/gmp/6.3.0...
My bad, i missinterpreted this issue as being related to the problem i encountered. I created a separate issue for my specific problem.
Added hints for : `pin` : `edit`, `--dev-repo` `--current` `remove —force` (unforced `remove` is already covered).
https://github.com/arozovyk/opam/pull/3 Added - Auto reverse dependencies testing - Error tracking (hard fail on packages we maintain, continue and report for others) - Summary comment to the PR at the end...
Related to #4883 and #4884