ackages, 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 +, pukkamustard a écrit
>
> DABY-SEESARAM Arnaud writes:
>
> > [[PGP Signed Part:Undecided]]
> > Hi,
> >
&g
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)
