From f4c29ebfc2b599005f874509938171c73d833d33 Mon Sep 17 00:00:00 2001 From: Kovacsics Robert Date: Wed, 26 Feb 2020 10:08:38 +0000 Subject: [PATCH] polyml: updated maintainers I am not sure if we still need the old packages, nothing explicitly depends on polyml56 or polyml57 according to a grep, not sure if external packages might (hol and isabelle depend on polyml, the latest version). --- pkgs/development/compilers/polyml/5.7.nix | 2 +- pkgs/development/compilers/polyml/default.nix | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/development/compilers/polyml/5.7.nix b/pkgs/development/compilers/polyml/5.7.nix index dca34ca6727..5b2d127f377 100644 --- a/pkgs/development/compilers/polyml/5.7.nix +++ b/pkgs/development/compilers/polyml/5.7.nix @@ -35,6 +35,6 @@ stdenv.mkDerivation rec { homepage = https://www.polyml.org/; license = licenses.lgpl21; platforms = with platforms; (linux ++ darwin); - maintainers = with maintainers; [ maggesi yurrriq ]; + maintainers = with maintainers; [ maggesi ]; }; } diff --git a/pkgs/development/compilers/polyml/default.nix b/pkgs/development/compilers/polyml/default.nix index f35021b6597..dafcdc3d686 100644 --- a/pkgs/development/compilers/polyml/default.nix +++ b/pkgs/development/compilers/polyml/default.nix @@ -41,6 +41,6 @@ stdenv.mkDerivation rec { homepage = https://www.polyml.org/; license = licenses.lgpl21; platforms = with platforms; (linux ++ darwin); - maintainers = with maintainers; [ maggesi yurrriq ]; + maintainers = with maintainers; [ maggesi kovirobi ]; }; }