Adapt to https://github.com/coq/coq/pull/19530 #630
Annotations
3 errors
|
|
|
Run make standalone
The operation was canceled.
|
|
Set up Python 3.8
[notice] A new release of pip is available: 21.1.1 -> 24.3.1
[notice] To update, run: python3.8 -m pip install --upgrade pip
|
Loading