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 /NEWS | |
| parent | 13e3bc1c800b531d33bc64a1fea64a66dc5f9300 (diff) | |
| download | patches-db1bc0d92e4a023d2b22487c324410e8dc4cda1f.tar patches-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 'NEWS')
0 files changed, 0 insertions, 0 deletions