Fix test suite coqdep outputs #4335
Annotations
1 error and 1 warning
|
Build Coq
Process completed with exit code 1.
|
|
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