Merge pull request #379 from LPCIC/fix-pp #639
Annotations
1 error
|
Run opam pin --ignore-constraints-on elpi add rocq-hierarchy-builder https://github.com/math-comp/hierarchy-builder.git#rename-class
Process completed with exit code 40.
|
Loading