[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#71629: [PATCH] gnu: proof-general: Update to 4.5@cb23709a.
|
From: |
Christopher Baines |
|
Subject: |
bug#71629: [PATCH] gnu: proof-general: Update to 4.5@cb23709a. |
|
Date: |
Thu, 27 Jun 2024 11:34:55 +0100 |
|
User-agent: |
mu4e 1.12.4; emacs 29.3 |
Arnaud Daby-Seesaram via Guix-patches via <guix-patches@gnu.org> writes:
> * gnu/packages/coq.scm (proof-general): Update to 4.5@cb23709a.
>
> Change-Id: Ieb33d8a0effa4c010d1f2488e166cd0647240180
> ---
> gnu/packages/coq.scm | 16 +++++++++++-----
> 1 file changed, 11 insertions(+), 5 deletions(-)
I forgot to close the issue yesterday, but I pushed this to master as
b594c2b154b900a29855afc00a21306ab09a153d.
Chris
signature.asc
Description: PGP signature