1 commit

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