eg https://github.com/coq/coq/runs/3240184874
The following system packages will first need to be installed:
expat libxml2
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><> 🐫
Let opam run your package manager to install the required system packages?
(answer 'n' for other options) [Y/n] n
This command should get the requirements installed:
brew install expat libxml2
ping osx ci people
I submitted a patch, let's see if it works: https://github.com/coq/coq/pull/14757
Seems to work on my fork
Last updated: Oct 13 2024 at 01:02 UTC