Add "coqdoc_header" and "coqdoc_footer" fields. #29123
Annotations
1 warning
|
Install system deps on macOS
pkg-config 0.29.2_3 is already installed and up-to-date.
To reinstall 0.29.2_3, run:
brew reinstall pkg-config
|
Loading