me
/
guix
Archived
1
0
Fork 0
Code
53,674 Commits
1 Branch
0 Tags
410 MiB
Commit Graph

1 Commits (9778eb952122a7803c24b41fff2bd0b1534922b2)

Author SHA1 Message Date
Amin Bandali db1bc0d92e
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>
 2020-01-03 15:46:53 -06:00