Andreas Enge 404a14f879 gnu: Remove lean. ...

* gnu/packages/lean.scm (lean): Delete variable.

Fixes: guix/guix#6239
Change-Id: I373c7d5c22de924fbc5d1db6967954173403c92e

2026-03-09 11:12:50 +01:00

..

bootloader

bootloader: grub: Always use rumpdisk-style root for the 64-bit Hurd.

2026-03-05 07:24:02 +01:00

build

file-systems: canonicalize-device-spec: Wait for device to exist.

2026-02-23 11:56:12 +09:00

home

gnu: home: dotfiles: Fix inclusion of directories having .git in their name.

2026-03-07 23:31:14 +01:00

installer

…

machine

…

packages

gnu: Remove lean.

2026-03-09 11:12:50 +01:00

services

gnu: Add tuned-service-type.

2026-03-07 22:28:01 +01:00

system

system: examples: bare-hurd64: Remove now unnecessary kernel-arguments.

2026-03-06 19:47:54 +01:00

tests

tests: Add tuned-service-type tests.

2026-03-07 22:28:01 +01:00

artwork.scm

…

bootloader.scm

…

ci.scm

ci: Add provenance information for ‘guix’ jobs.

2026-02-20 22:34:55 +01:00

compression.scm

…

home.scm

…

image.scm

…

installer.scm

…

local.mk

gnu: Add python-onnx-asr.

2026-03-08 10:40:25 +01:00

machine.scm

…

packages.scm

…

services.scm

…

system.scm

…

tests.scm

…