[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#67315: [PATCH 1/2] gnu: lean: Use G-expressions.
From: |
Ludovic Courtès |
Subject: |
bug#67315: [PATCH 1/2] gnu: lean: Use G-expressions. |
Date: |
Mon, 11 Dec 2023 23:49:59 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Hi,
Zhu Zihao <all_but_last@163.com> skribis:
> * gnu/packages/lean.scm (lean)[arguments]: Use G-expressions.
[...]
> * gnu/packages/lean.scm (lean): Update to 3.51.1.
> [home-page]: Use new home page.
> [arguments]<#:phases>: Remove stale phase 'patch-tests-shebangs'.
> [inputs]: Remove bash-minimal.
>
> Change-Id: Ib90a124b4a6b06fb30223ad4b9254249e56dd086
Applied, thanks!
Ludo’.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#67315: [PATCH 1/2] gnu: lean: Use G-expressions.,
Ludovic Courtès <=