GNU bug report logs - #54185
[PATCH] gnu: lean: Update to 3.40.0.

Previous Next

Package: guix-patches;

Reported by: Pradana Adrinusa AUMARS <paumars <at> courrier.dev>

Date: Sun, 27 Feb 2022 15:39:02 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

Full log

Message #10 received at 54185-done <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Pradana Adrinusa AUMARS <paumars <at> courrier.dev>
Cc: 54185-done <at> debbugs.gnu.org
Subject: Re: bug#54185: [PATCH] gnu: lean: Update to 3.40.0.
Date: Sun, 13 Mar 2022 23:23:17 +0100

Hi Pradana,

Pradana Adrinusa AUMARS <paumars <at> courrier.dev> skribis:

>>From 2e62200fcfd6b0ad41b82efdeaba13acc3a3f14a Mon Sep 17 00:00:00 2001
> From: Pradana AUMARS <paumars <at> 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’.
This bug report was last modified 3 years and 153 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.