Merge pull request #116632 from ErinvanderVeen/clean

This commit is contained in:
Sandro 2021-03-17 22:13:27 +01:00 committed by GitHub
commit d600f00664
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 10 additions and 3 deletions

View file

@ -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";

View file

@ -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" ];
};
}