diff options
| author | Matthew Bauer <mjbauer95@gmail.com> | 2019-11-07 17:18:20 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-07 17:18:20 -0500 |
| commit | 5ebd36403ebf7d4aaa73ba18056bb8ceac75ea1a (patch) | |
| tree | 66ea656520fa5625ca4543abd742eefd9291b5e5 /pkgs/applications/science | |
| parent | 5dfbfc06d381a05b781c3da6c5b40ebee89d011c (diff) | |
| parent | b23ce210ecc48e52552e08f543cda6e3a0c21025 (diff) | |
| download | nixpkgs-5ebd36403ebf7d4aaa73ba18056bb8ceac75ea1a.tar nixpkgs-5ebd36403ebf7d4aaa73ba18056bb8ceac75ea1a.tar.gz nixpkgs-5ebd36403ebf7d4aaa73ba18056bb8ceac75ea1a.tar.bz2 nixpkgs-5ebd36403ebf7d4aaa73ba18056bb8ceac75ea1a.tar.lz nixpkgs-5ebd36403ebf7d4aaa73ba18056bb8ceac75ea1a.tar.xz nixpkgs-5ebd36403ebf7d4aaa73ba18056bb8ceac75ea1a.tar.zst nixpkgs-5ebd36403ebf7d4aaa73ba18056bb8ceac75ea1a.zip | |
Merge pull request #70641 from maggesi/rename-z77z-into-maggesi
Rename z77z into maggesi
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 cda3656dc59..d799b52d115 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 ]; }; } |