aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorAmin Bandali <bandali@gnu.org>2020-01-17 11:15:47 -0500
committerTobias Geerinckx-Rice <me@tobias.gr>2020-01-17 18:30:33 +0100
commita3143063aeeecb5c02f75a6e1ddc0cc295e0e4f8 (patch)
tree1b8a6acbea8eeafb8802fd3ea984ed7bd66da92b /gnu/packages/lean.scm
parentcd4eb53c33ee60f397b2b8c47e656e5ed857c480 (diff)
downloadguix-a3143063aeeecb5c02f75a6e1ddc0cc295e0e4f8.tar
guix-a3143063aeeecb5c02f75a6e1ddc0cc295e0e4f8.tar.gz
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>
Diffstat (limited to 'gnu/packages/lean.scm')
-rw-r--r--gnu/packages/lean.scm2
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/lean.scm b/gnu/packages/lean.scm
index 235113d475..e71b4c93ae 100644
--- a/gnu/packages/lean.scm
+++ b/gnu/packages/lean.scm
@@ -1,5 +1,5 @@
;;; GNU Guix --- Functional package management for GNU
-;;; Copyright © 2019 Amin Bandali <bandali@gnu.org>
+;;; Copyright © 2019 Amin Bandali <mab@gnu.org>
;;;
;;; This file is part of GNU Guix.
;;;