Bump rewriter from edd0611
to 8ab716a
(#1988)
#926
Annotations
2 errors
cat opam logs (Linux, Mac)
Cannot install pkgconf because conflicting formulae are installed.
pkg-config: because both install `pkg.m4` file
Please `brew unlink pkg-config` before continuing.
Unlinking removes a formula's symlinks from /opt/homebrew. You can
link the formula again after the install finishes. You can `--force` this
install, but the build may fail or cause obscure side effects in the
resulting software.
|
Run opam pin --kind=version add coq 8.19.0
Process completed with exit code 10.
|
Loading