Age | Commit message (Expand) | Author |
---|---|---|
2023-12-11 | gnu: lean: Update to 3.51.1....* 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> | Zhu Zihao |
2023-12-11 | gnu: lean: Use G-expressions....* gnu/packages/lean.scm (lean)[arguments]: Use G-expressions. Signed-off-by: Ludovic Courtès <ludo@gnu.org> | Zhu Zihao |