[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Ideas for ocaml-team
From: |
Josselin Poiret |
Subject: |
Re: Ideas for ocaml-team |
Date: |
Tue, 20 Jun 2023 16:31:55 +0200 |
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
signature.asc
Description: PGP signature