[bug#57540] [PATCH] Add ocaml-elpi (a dependency of coq-mathcomp-analysis)

[Ludovic Courtès]

Hi Julien,

Julien Lepiller <julien@lepiller.eu> skribis:

> thanks for the patches! As I understand it, these patches introduce 8
> new packages, but I count only 7 (with this one which didn't make it as
> a part of the series). Could you split the last patch, so each new
> package has its own patch?

Could you take a look at v2 of this patch series?

  https://issues.guix.gnu.org/57540

TIA!

Ludo’.