> 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...@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
signature.asc
Description: PGP signature
