Subject: bug#52164: closed (Re: bug#52164: [PATCH] gnu: coq: Update to 8.14.0.)

From: [email-masked] (GNU bug Tracking System)
Date: Tue, 03 May 2022 12:38:02 +0000

Your bug report

#52164: [PATCH] gnu: coq: Update to 8.14.0.

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
52164: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=52164
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#52164: [PATCH] gnu: coq: Update to 8.14.0.
From: zimoun <[email-masked]>
To: Julien Lepiller <[email-masked]>
Cc: [email-masked]
Date: Tue, 03 May 2022 14:35:33 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Julien,

On Sun, 28 Nov 2021 at 17:44, Julien Lepiller <[email-masked]> wrote:

> this small series updates coq to its latest version.

This series [1] updated Coq at 8.14 and the current Coq is 8.15.

1: <https://issues.guix.gnu.org/issue/52164>

So closing!

Cheers,
simon

Subject: [PATCH] gnu: coq: Update to 8.14.0.
From: Julien Lepiller <[email-masked]>
To: [email-masked]
Date: Sun, 28 Nov 2021 17:44:26 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Guix!

this small series updates coq to its latest version.