Closed coqelpibot closed 1 month ago
This pull-request concerns: -coq-elpi.2.2.1: Elpi extension language for Coq -coq-elpi-tests.2.2.1: Technical package to run tests
coq-elpi.2.2.1
coq-elpi-tests.2.2.1
:camel: Pull-request generated by opam-publish v2.0.3
This pull-request concerns: -
coq-elpi.2.2.1
: Elpi extension language for Coq -coq-elpi-tests.2.2.1
: Technical package to run tests:camel: Pull-request generated by opam-publish v2.0.3