diff options
| author | Andreas Enge <andreas@enge.fr> | 2026-03-09 11:12:47 +0100 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2026-03-09 11:12:50 +0100 |
| commit | 404a14f879a63898eb379018dfbb39d4c3e0e9d8 (patch) | |
| tree | 71eaa484deab5c3a48166a83d5fa68e2d15c8c56 /gnu/system | |
| parent | 5bff31a54788de12c20f4e8c6f74f0de33c7c20e (diff) | |
gnu: Remove lean.
* gnu/packages/lean.scm (lean): Delete variable.
Fixes: guix/guix#6239
Change-Id: I373c7d5c22de924fbc5d1db6967954173403c92e
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions