[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: |
Mon, 29 Nov 2021 10:06:09 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) |
On dim., 28 nov. 2021 at 18:27, Julien Lepiller <julien@lepiller.eu> wrote:
> * gnu/packages/coq.scm (proof-general): Update to latest commit.
> ---
> gnu/packages/coq.scm | 8 ++++----
> 1 file changed, 4 insertions(+), 4 deletions(-)
LGTM.
Cheers,
simon