I don't think it makes sense to have a separate brarch when we have so few
contributions, and so few impacted packages
Le 12 septembre 2023 08:57:56 GMT+02:00, pukkamustard
a écrit :
>
>Salut!
>
>Simon Tournier writes:
>
>>> I think it's time to start an `ocaml-team` (or `ocaml-updates`) branc
Salut!
Simon Tournier writes:
>> I think it's time to start an `ocaml-team` (or `ocaml-updates`) branch
>> to collect some bigger updates and changes to the OCaml packages in
>> Guix.
>
> I think that’s a great idea. :-) Any progress on this?
>
There is #64249 (https://issues.guix.gnu.org/64
Hi,
I am very late to the party.
On Fri, 16 Jun 2023 at 04:32, pukkamustard wrote:
> I think it's time to start an `ocaml-team` (or `ocaml-updates`) branch
> to collect some bigger updates and changes to the OCaml packages in
> Guix.
I think that’s a great idea. :-) Any progress on this?
>
> I hadn't thought of the Coq packages, but probably makes sense to
> update them together as they will be rebuilt with updates to the OCaml
> compiler and Dune.
Yes.
> Do you have an overview of what Coq packages need an update?
No, I don't. But there are only a few Coq packages, so I wouldn't
DABY-SEESARAM Arnaud writes:
> [[PGP Signed Part:Undecided]]
> Hi,
>
> Do you plan on including coq.scm in the upgrade plan, as it also depends
> on dune?
I hadn't thought of the Coq packages, but probably makes sense to update
them together as they will be rebuilt with updates to the OCaml c
Hi everyone,
DABY-SEESARAM Arnaud writes:
> Do you plan on including coq.scm in the upgrade plan, as it also depends
> on dune? If so, would coq-packages also be upgraded, or should that be
> done after the ocaml-team branch has been merged with master?
>
> Anyway, I am new to Guix, but will t
Hi,
Do you plan on including coq.scm in the upgrade plan, as it also depends
on dune? If so, would coq-packages also be upgraded, or should that be
done after the ocaml-team branch has been merged with master?
Anyway, I am new to Guix, but will try to help if I can (time- and
competence-wise)
Hello Guix,
I think it's time to start an `ocaml-team` (or `ocaml-updates`) branch
to collect some bigger updates and changes to the OCaml packages in
Guix.
Some things that I can think of:
* Update OCaml from 4.14.0 to 4.14.1
* Update OPAM from 2.1.3 to 2.1.5
- Requires a major update of o
