diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2021-03-17 22:13:27 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-17 22:13:27 +0100 |
commit | d600f006643e074c2ef1d72e462e218b647a096c (patch) | |
tree | cc1405632fa4f1bb29efe4d54ba5edb72a1c33a4 | |
parent | cc9888e4a106aa4d128d56ac11f97a1087f746d2 (diff) | |
parent | 2e698f6ba7494b015303e5275a00741b44eba3b1 (diff) |
Merge pull request #116632 from ErinvanderVeen/clean
-rw-r--r-- | maintainers/maintainer-list.nix | 6 | ||||
-rw-r--r-- | pkgs/development/compilers/clean/default.nix | 7 |
2 files changed, 10 insertions, 3 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 03a16d860b8be..15de7cfd93323 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -2889,6 +2889,12 @@ githubId = 3787281; name = "Erik Rybakken"; }; + erin = { + name = "Erin van der Veen"; + email = "erin@erinvanderveen.nl"; + github = "ErinvanderVeen"; + githubId = 10973664; + }; erosennin = { email = "ag@sologoc.com"; github = "erosennin"; diff --git a/pkgs/development/compilers/clean/default.nix b/pkgs/development/compilers/clean/default.nix index f8121958e292a..e360bb05f40dc 100644 --- a/pkgs/development/compilers/clean/default.nix +++ b/pkgs/development/compilers/clean/default.nix @@ -1,7 +1,8 @@ { lib, stdenv, fetchurl }: stdenv.mkDerivation { - name = "clean-3.0"; + pname = "clean"; + version = "3.0"; src = if stdenv.hostPlatform.system == "i686-linux" then (fetchurl { @@ -45,8 +46,8 @@ stdenv.mkDerivation { ''; homepage = "http://wiki.clean.cs.ru.nl/Clean"; - license = lib.licenses.lgpl21; - maintainers = [ lib.maintainers.kkallio ]; + license = lib.licenses.bsd2; + maintainers = [ lib.maintainers.erin ]; platforms = [ "i686-linux" "x86_64-linux" ]; }; } |