Re: Ideas for ocaml-team

[pukkamustard]

DABY-SEESARAM Arnaud <ds-ac@nanein.fr> 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 compiler
and Dune.

Do you have an overview of what Coq packages need an update?

> Anyway, I am new to Guix, but will try to help if I can (time- and 
> competence-wise) ! :)

Yeah, very nice! :) 

-pukkamustard