coqdep make explicit dependencies on deps of plugins #4318
Annotations
1 warning
|
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