Merge pull request #2047 from JasonGross/directives #984
Annotations
1 error and 1 warning
|
Run opam repo add coq-core-dev https://coq.inria.fr/opam/core-dev
Process completed with exit code 40.
|
|
Work around https://github.com/ocaml/opam-repository/pull/26891#issuecomment-2486598516
pkgconf 2.3.0_1 is already installed, it's just not linked.
To link this version, run:
brew link pkgconf
|
Loading