Adapt to https://github.com/coq/coq/pull/19530 #641
Annotations
1 error
|
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