port to Elpi 2.0 #1912
Annotations
1 error
|
Run opam install ./coq-elpi.opam --deps-only --with-test -y
Process completed with exit code 20.
|
Loading