Hi everyone, DABY-SEESARAM Arnaud <ds...@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
signature.asc
Description: PGP signature
