Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | gnu: Add lean. | Amin Bandali | 2020-01-03 |
* gnu/local.mk (GNU_SYSTEM_MODULES): Add lean.scm. * gnu/packages/lean.scm: New file. Signed-off-by: Brett Gilio <brettg@gnu.org> |
index : guix/patches | |
Guix | Gitolite user |
summaryrefslogtreecommitdiff |
Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | gnu: Add lean. | Amin Bandali | 2020-01-03 |
* gnu/local.mk (GNU_SYSTEM_MODULES): Add lean.scm. * gnu/packages/lean.scm: New file. Signed-off-by: Brett Gilio <brettg@gnu.org> |