aboutsummaryrefslogtreecommitdiff
path: root/gnu/local.mk
diff options
context:
space:
mode:
authorAmin Bandali <bandali@gnu.org>2019-12-28 01:29:01 -0500
committerBrett Gilio <brettg@gnu.org>2020-01-03 15:46:53 -0600
commitdb1bc0d92e4a023d2b22487c324410e8dc4cda1f (patch)
treeb28944262b62c81801f1a5cc1a51b10d22d522b4 /gnu/local.mk
parent13e3bc1c800b531d33bc64a1fea64a66dc5f9300 (diff)
downloadguix-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.mk2
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 \