[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#57540] [PATCH] Please rebase (was: Add ocaml-elpi (a dependency of
From: |
zimoun |
Subject: |
[bug#57540] [PATCH] Please rebase (was: Add ocaml-elpi (a dependency of coq-mathcomp-analysis)) |
Date: |
Fri, 30 Sep 2022 14:06:15 +0200 |
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
- [bug#57540] [PATCH] Add ocaml-elpi (a dependency of coq-mathcomp-analysis), (continued)
- [bug#57540] [PATCH] Add ocaml-elpi (a dependency of coq-mathcomp-analysis), Julien Lepiller, 2022/09/03
- [bug#57540] [RFC PATCH v2 01/19] gnu: Add ocaml-elpi., Garek Dyszel, 2022/09/07
- [bug#57540] [PATCH] Please rebase (was: Add ocaml-elpi (a dependency of coq-mathcomp-analysis)), zimoun, 2022/09/26
- [bug#57540] [PATCH] Please rebase (was: Add ocaml-elpi (a dependency of coq-mathcomp-analysis)), Garek Dyszel, 2022/09/27
- [bug#57540] [PATCH] Please rebase (was: Add ocaml-elpi (a dependency of coq-mathcomp-analysis)), Garek Dyszel, 2022/09/29
- [bug#57540] [PATCH] Please rebase (was: Add ocaml-elpi (a dependency of coq-mathcomp-analysis)), Julien Lepiller, 2022/09/29
- bug#57540: Splitting into several packages instead, Garek Dyszel, 2022/09/30
- [bug#57540] [PATCH] Please rebase (was: Add ocaml-elpi (a dependency of coq-mathcomp-analysis)), Garek Dyszel, 2022/09/30
- [bug#57540] [PATCH] Please rebase (was: Add ocaml-elpi (a dependency of coq-mathcomp-analysis)),
zimoun <=
[bug#57540] [RFC PATCH v2 03/19] gnu: Add ocaml-ansiterminal.* gnu/packages/ocaml.scm (ocaml-ansiterminal): New variable., Garek Dyszel, 2022/09/07
[bug#57540] [RFC PATCH v2 04/19] gnu: Add coq-elpi.* gnu/packages/coq.scm (coq-elpi): New variable., Garek Dyszel, 2022/09/07
[bug#57540] [RFC PATCH v2 06/19] gnu: Add coq-mathcomp-finmap.* gnu/packages/coq.scm (coq-mathcomp-finmap): New variable., Garek Dyszel, 2022/09/07
[bug#57540] [RFC PATCH v2 02/19] gnu: Add ocaml-atd.* gnu/packages/ocaml.scm (ocaml-atd): New variable., Garek Dyszel, 2022/09/07
[bug#57540] [RFC PATCH v2 05/19] gnu: Add coq-mathcomp-hierarchy-builder.* gnu/packages/coq.scm (coq-mathcomp-hierarchy-builder): New variable., Garek Dyszel, 2022/09/07
[bug#57540] [RFC PATCH v2 09/19] gnu: Add python-version.* gnu/packages/python-xyz.scm (python-version): New variable., Garek Dyszel, 2022/09/07
[bug#57540] [RFC PATCH v2 07/19] gnu: Add coq-mathcomp-bigenough.* gnu/packages/coq.scm (coq-mathcomp-bigenough): New variable., Garek Dyszel, 2022/09/07
[bug#57540] [RFC PATCH v2 08/19] gnu: Add coq-mathcomp-analysis.* gnu/packages/coq.scm (coq-mathcomp-analysis): New variable., Garek Dyszel, 2022/09/07
[bug#57540] [RFC PATCH v2 10/19] gnu: Add python-hatchling.* gnu/packages/python-xyz.scm (python-hatchling): New variable., Garek Dyszel, 2022/09/07
[bug#57540] [RFC PATCH v2 12/19] gnu: Add python-hatch-fancy-pypi-readme.* gnu/packages/python-xyz.scm (python-hatch-fancy-pypi-readme): New variable., Garek Dyszel, 2022/09/07