[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#52164: [PATCH] gnu: coq: Update to 8.14.0.
|
From: |
zimoun |
|
Subject: |
bug#52164: [PATCH] gnu: coq: Update to 8.14.0. |
|
Date: |
Tue, 03 May 2022 14:35:33 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) |
Hi Julien,
On Sun, 28 Nov 2021 at 17:44, Julien Lepiller <julien@lepiller.eu> 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
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#52164: [PATCH] gnu: coq: Update to 8.14.0.,
zimoun <=