| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-01-03 | gnu: Add lean. | Amin Bandali | |
| * gnu/local.mk (GNU_SYSTEM_MODULES): Add lean.scm. * gnu/packages/lean.scm: New file. Signed-off-by: Brett Gilio <brettg@gnu.org> | |||
 |
index : ~cnx/guix | |
| Personal Guix development branches |
| summary refs log tree commit diff |