diff options
| author | Amin Bandali <bandali@gnu.org> | 2019-12-28 01:29:01 -0500 |
|---|---|---|
| committer | Brett Gilio <brettg@gnu.org> | 2020-01-03 15:46:53 -0600 |
| commit | db1bc0d92e4a023d2b22487c324410e8dc4cda1f (patch) | |
| tree | b28944262b62c81801f1a5cc1a51b10d22d522b4 /gnu/local.mk | |
| parent | 13e3bc1c800b531d33bc64a1fea64a66dc5f9300 (diff) | |
| download | guix-db1bc0d92e4a023d2b22487c324410e8dc4cda1f.tar guix-db1bc0d92e4a023d2b22487c324410e8dc4cda1f.tar.gz | |
gnu: Add lean.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add lean.scm.
* gnu/packages/lean.scm: New file.
Signed-off-by: Brett Gilio <brettg@gnu.org>
Diffstat (limited to 'gnu/local.mk')
| -rw-r--r-- | gnu/local.mk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gnu/local.mk b/gnu/local.mk index c7dcc65082..f9f299d422 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -25,6 +25,7 @@ # Copyright © 2019 Jonathan Brielmaier <jonathan.brielmaier@web.de> # Copyright © 2019 Evan Straw <evan.straw99@gmail.com> # Copyright © 2019 Brett Gilio <brettg@gnu.org> +# Copyright © 2019 Amin Bandali <bandali@gnu.org> # # This file is part of GNU Guix. # @@ -290,6 +291,7 @@ GNU_SYSTEM_MODULES = \ %D%/packages/key-mon.scm \ %D%/packages/kodi.scm \ %D%/packages/language.scm \ + %D%/packages/lean.scm \ %D%/packages/lego.scm \ %D%/packages/less.scm \ %D%/packages/lesstif.scm \ |