Adapt to coq/coq#19927 (coq-core renamed to rocq-runtime) #3061
Annotations
2 errors
|
|
|
📐 Run flake check
The operation was canceled.
|
Loading