me
/
guix
Archived
1
0
Fork 0
Code
54,734 Commits
1 Branch
0 Tags
410 MiB
Commit Graph

2 Commits (80f45ee5ae13186f3de6cf8a8043c09317ee3673)

Author SHA1 Message Date
Amin Bandali a3143063ae
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>
 2020-01-17 18:30:33 +01:00
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