Hi everyone,

DABY-SEESARAM Arnaud <ds-ac@nanein.fr> 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 try to help if I can (time- and 
> competence-wise) ! :)

I can also give a hand regarding Coq and libraries, since I have a
vested interest in having everything up-to-date :)

Best,
-- 
Josselin Poiret