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

Previous Next

Full log

View this message in rfc822 format

From: Ludovic Courtès <ludo <at> gnu.org>
To: Antero Mejr <mail <at> antr.me>
Cc: pukkamustard <at> posteo.net, julien <at> lepiller.eu, Arnaud Daby-Seesaram <ds-ac <at> nanein.fr>, 75368 <at> debbugs.gnu.org
Subject: [bug#75368] [PATCH] gnu: coq: Update to 8.20.0.
Date: Wed, 12 Feb 2025 10:57:38 +0100

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.