Adapt to coq/coq#19927 (coq-core renamed to rocq-runtime) #3059
Annotations
2 errors
|
|
|
🧱 Build coq-lsp
The operation was canceled.
|
Loading