[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#54185: [PATCH] gnu: lean: Update to 3.40.0.
|
From: |
Ludovic Courtès |
|
Subject: |
bug#54185: [PATCH] gnu: lean: Update to 3.40.0. |
|
Date: |
Sun, 13 Mar 2022 23:23:17 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) |
Hi Pradana,
Pradana Adrinusa AUMARS <paumars@courrier.dev> skribis:
>>From 2e62200fcfd6b0ad41b82efdeaba13acc3a3f14a Mon Sep 17 00:00:00 2001
> From: Pradana AUMARS <paumars@courrier.dev>
> Date: Sun, 27 Feb 2022 16:27:51 +0100
> Subject: [PATCH] gnu: lean: Update to 3.40.0.
>
> * gnu/packages/lean.scm (lean): Update to 3.40.0.
This was updated to 3.41 in the meantime, in commit
46ae78ba45711b43ca5948c9adbd23cc9e773bff.
Thanks anyway!
Ludo’.
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#54185: [PATCH] gnu: lean: Update to 3.40.0.,
Ludovic Courtès <=