Adapt to https://github.com/coq/coq/pull/19530 #638
Annotations
2 errors
|
|
|
Set up Python 3.6
The operation was canceled.
|
Loading