diff options
| author | Marco Maggesi <1809783+maggesi@users.noreply.github.com> | 2019-10-07 16:44:58 +0200 |
|---|---|---|
| committer | Marco Maggesi <1809783+maggesi@users.noreply.github.com> | 2019-10-07 17:05:25 +0200 |
| commit | ff1ed720e280f2e4ff57dd869e93dbc9eb034040 (patch) | |
| tree | 0cd36a046e651ba52b2573b03dcfcc198bbf0a05 /pkgs/applications/science | |
| parent | 2b05a35e08a4ff732f037b67ade05c063ef0c5ce (diff) | |
| download | nixpkgs-ff1ed720e280f2e4ff57dd869e93dbc9eb034040.tar nixpkgs-ff1ed720e280f2e4ff57dd869e93dbc9eb034040.tar.gz nixpkgs-ff1ed720e280f2e4ff57dd869e93dbc9eb034040.tar.bz2 nixpkgs-ff1ed720e280f2e4ff57dd869e93dbc9eb034040.tar.lz nixpkgs-ff1ed720e280f2e4ff57dd869e93dbc9eb034040.tar.xz nixpkgs-ff1ed720e280f2e4ff57dd869e93dbc9eb034040.tar.zst nixpkgs-ff1ed720e280f2e4ff57dd869e93dbc9eb034040.zip | |
Rename z77z into maggesi
Make the "handle" of the maintainer match the name of the github account. Also update the email address.
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/hol_light/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/hol_light/default.nix b/pkgs/applications/science/logic/hol_light/default.nix index 40b0115dc1b..dc08b59bc91 100644 --- a/pkgs/applications/science/logic/hol_light/default.nix +++ b/pkgs/applications/science/logic/hol_light/default.nix @@ -45,6 +45,6 @@ stdenv.mkDerivation { homepage = http://www.cl.cam.ac.uk/~jrh13/hol-light/; license = licenses.bsd2; platforms = platforms.unix; - maintainers = with maintainers; [ thoughtpolice z77z vbgl ]; + maintainers = with maintainers; [ thoughtpolice maggesi vbgl ]; }; } |