error on type name / type abbreviation collision #624
Annotations
1 error
|
Run opam pin --ignore-constraints-on elpi add rocq-hierarchy-builder https://github.com/math-comp/hierarchy-builder.git#master
Process completed with exit code 31.
|
Loading