Zhu Zihao 46ec8592f7 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>		2023-12-11 23:39:05 +01:00
..
bootloader
build	gnu: cross-toolchain: Add set-cross-path for AVR.	2023-12-11 13:36:51 +02:00
home
installer
machine
packages	gnu: lean: Update to 3.51.1.	2023-12-11 23:39:05 +01:00
services	services: Fix oci-container-service-type container user.	2023-12-10 22:23:29 +01:00
system	file-systems: Add tracefs to %pseudo-file-system-types.	2023-12-10 21:47:52 +01:00
tests
artwork.scm
bootloader.scm
ci.scm
compression.scm
home.scm
image.scm
installer.scm
local.mk	gnu: Add gcc-cross-avr-toolchain.	2023-12-11 13:37:21 +02:00
machine.scm
packages.scm
services.scm
system.scm
tests.scm