GNU bug report logs - #75368
[PATCH] gnu: coq: Update to 8.20.0.

Previous Next

Full log

Message #17 received at 75368 <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Antero Mejr <mail <at> antr.me>
Cc: pukkamustard <at> posteo.net, julien <at> lepiller.eu, 75368 <at> debbugs.gnu.org,
 Arnaud Daby-Seesaram <ds-ac <at> nanein.fr>
Subject: Re: [bug#75368] [PATCH] gnu: coq: Update to 8.20.0.
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 <ludo <at> gnu.org> skribis:

> Hi Antero,
>
> Antero Mejr <mail <at> antr.me> skribis:
>
>> Arnaud Daby-Seesaram <ds-ac <at> nanein.fr> 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’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.