opam-repository
opam-repository copied to clipboard
Draft: Fix apron 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.
I could not ascertain if only updating apron.v0.9.14/opam was sufficient.