Merge pull request #437 from coq/8.19-release-prep-2 #1929
Annotations
2 warnings
|
Cleanup, update and upgrade HomeBrew
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.0_1
|
|
Install homebrew packages required by main script
wget 1.24.5 is already installed and up-to-date.
To reinstall 1.24.5, run:
brew reinstall wget
|
Loading