diff options
Diffstat (limited to 'pkgs/development/libraries/gmp/5.1.x.nix')
| -rw-r--r-- | pkgs/development/libraries/gmp/5.1.x.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/libraries/gmp/5.1.x.nix b/pkgs/development/libraries/gmp/5.1.x.nix index ad3f0da981f98..c6cbfdd89b418 100644 --- a/pkgs/development/libraries/gmp/5.1.x.nix +++ b/pkgs/development/libraries/gmp/5.1.x.nix @@ -74,6 +74,6 @@ stdenv.mkDerivation rec { ''; platforms = platforms.all; - maintainers = [ maintainers.simons ]; + maintainers = [ maintainers.peti ]; }; } |