/gnu/bootloader/

logo'/> index : guix
Wojtek's customized Guix
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
AgeCommit message (Collapse)Author
2023-12-11gnu: lean: Update to 3.51.1.Zhu Zihao
* 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 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-12-11gnu: lean: Use G-expressions.Zhu Zihao
* gnu/packages/lean.scm (lean)[arguments]: Use G-expressions. Signed-off-by: Ludovic Courtès <ludo@gnu.org>