port to Elpi 2.0 #431
Annotations
1 error
|
Checking presence of CI target coq-elpi
Process completed with exit code 1.
|
Loading