coqdep make explicit dependencies on deps of plugins #4317
Annotations
1 error and 1 warning
|
Build Coq
Process completed with exit code 2.
|
|
homebrew outdated pkg-config fix
pkgconf 2.3.0_1 is already installed and up-to-date.
To reinstall 2.3.0_1, run:
brew reinstall pkgconf
|
Loading