| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-01-17 | Update email address for Amin Bandali....* .mailmap: Add name and email addresses for Amin Bandali. * gnu/local.mk, gnu/packages/emacs-xyz.scm, gnu/packages/emacs.scm, gnu/packages/fpga.scm, gnu/packages/lean.scm, gnu/packages/maths.scm: Update email address for Amin Bandali. Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr> | Amin Bandali |
| 2020-01-03 | 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> | Amin Bandali |
 |
index : guix.git | |
| [no description] | Gitolite user |
| summaryrefslogtreecommitdiff |