Adapt to coq/coq#20152 (Declarations.declaratino_arity doesn't exist) #3094
Annotations
2 errors
|
|
|
🐫 Setup OCaml
The operation was canceled.
|
Loading