Re: Ideas for ocaml-team

[DABY-SEESARAM Arnaud <ds-ac@nanein.fr>]

[-- Attachment #1: Type: text/plain, Size: 1061 bytes --]

> 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 mind 
checking every upstream repository.  That said, Coq itself can be 
upgraded.

-- 
ds-ac

Le Wed, Jun 21, 2023 at 07:37:00PM +0000, pukkamustard a écrit
> 
> 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

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]