Subject: Re: [bug#75368] [PATCH] gnu: coq: Update to 8.20.0.

From: Ludovic Courtès <[email-masked]>
Date: Fri, 21 Mar 2025 13:45:08 +0100

Hi,

Antero, Arnaud, and the OCaml team: could you take a look at this?

It would be sad to keep an outdated Coq/Rocq.

Ludo’.

Ludovic Courtès <[email-masked]> skribis:

> Hi Antero,
>
> Antero Mejr <[email-masked]> skribis:
>
>> Arnaud Daby-Seesaram <[email-masked]> writes:
>>
>>> Thank you for your patch.  I have not had the time to look at it in
>>> detail yet, but here are a few questions/remarks that probably call for
>>> a V2:
>>>
>>> - some Coq-dependent packages are broken by the update (e.g. stdpp needs
>>>   to be updated to 1.11.0 to compile).  It would be nice to update
>>>   dependent packages if they support 8.20.
>>
>> Yes, definitely.
>
> Could you maybe submit a v2 that includes those package updates in
> addition to Coq itself?
>
> Thanks,
> Ludo’.