diff options
| author | Badi Abdul-Wahid <abdulwahidc@gmail.com> | 2020-09-09 10:40:46 -0500 |
|---|---|---|
| committer | Badi Abdul-Wahid <abdulwahidc@gmail.com> | 2020-09-09 10:40:46 -0500 |
| commit | f3ce1df79a52c8992ccfb3c677039f32b8997be3 (patch) | |
| tree | 5e1b222f8dadd3338ba6dc98e88469217e40223b /pkgs/applications/science/logic/tlaplus/toolbox.nix | |
| parent | 9c6c7acf2218dc38009a5e630bb7ce1034b93318 (diff) | |
| download | nixpkgs-f3ce1df79a52c8992ccfb3c677039f32b8997be3.tar nixpkgs-f3ce1df79a52c8992ccfb3c677039f32b8997be3.tar.gz nixpkgs-f3ce1df79a52c8992ccfb3c677039f32b8997be3.tar.bz2 nixpkgs-f3ce1df79a52c8992ccfb3c677039f32b8997be3.tar.lz nixpkgs-f3ce1df79a52c8992ccfb3c677039f32b8997be3.tar.xz nixpkgs-f3ce1df79a52c8992ccfb3c677039f32b8997be3.tar.zst nixpkgs-f3ce1df79a52c8992ccfb3c677039f32b8997be3.zip | |
tlaplus: remove myself from maintainers list
Diffstat (limited to 'pkgs/applications/science/logic/tlaplus/toolbox.nix')
| -rw-r--r-- | pkgs/applications/science/logic/tlaplus/toolbox.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/tlaplus/toolbox.nix b/pkgs/applications/science/logic/tlaplus/toolbox.nix index 5edc3e4129d..5c445459a36 100644 --- a/pkgs/applications/science/logic/tlaplus/toolbox.nix +++ b/pkgs/applications/science/logic/tlaplus/toolbox.nix @@ -76,6 +76,6 @@ in stdenv.mkDerivation { # http://lamport.azurewebsites.net/tla/license.html license = with lib.licenses; [ mit ]; platforms = stdenv.lib.platforms.linux; - maintainers = [ stdenv.lib.maintainers.badi ]; + maintainers = [ ]; }; } |