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

[zimoun]

Hi,

On Thu, 29 Sep 2022 at 13:13, Garek Dyszel via Guix-patches via 
<guix-patches@gnu.org> wrote:

> It looks like Coq has been updated to 8.16 now, which means the two
> packages required by coq-mathcomp-hierarchy-builder in this patchset are
> now out of date. The build processes have completely changed for
> ocaml-elpi and coq-elpi.

>From my point of view, the easiest to send this patch set with the
correct order and against the current master.  Even if some patches does
not build correctly.

Based on that, we could merge what is currently ready.  And collectively
fixes what is missing.

Because today, it is too much work to unknot your patch set.

If it is too much work for you, please point against which Git commit
you generated the patch set.


Cheers,
simon