diff options
| author | Zhu Zihao <all_but_last@163.com> | 2023-11-21 12:48:29 +0800 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-12-11 23:39:05 +0100 |
| commit | 46ec8592f7f59cde049c7870da719ff5a9d557c4 (patch) | |
| tree | f0b66b5d1aa2993730f741c53b4c7e18aaddb06b /gnu/packages/linux.scm | |
| parent | f1bcc043a4d471854d6fae7355643c4667929e02 (diff) | |
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>
Diffstat (limited to 'gnu/packages/linux.scm')
0 files changed, 0 insertions, 0 deletions