maintainers: remove winden
no github account linked
This commit is contained in:
parent
4272b6439b
commit
0aac41a5d9
@ -13613,10 +13613,6 @@
|
|||||||
githubId = 5185341;
|
githubId = 5185341;
|
||||||
name = "Will Cohen";
|
name = "Will Cohen";
|
||||||
};
|
};
|
||||||
winden = {
|
|
||||||
email = "windenntw@gmail.com";
|
|
||||||
name = "Antonio Vargas Gonzalez";
|
|
||||||
};
|
|
||||||
winpat = {
|
winpat = {
|
||||||
email = "patrickwinter@posteo.ch";
|
email = "patrickwinter@posteo.ch";
|
||||||
github = "winpat";
|
github = "winpat";
|
||||||
|
@ -64,7 +64,7 @@ stdenv.mkDerivation rec {
|
|||||||
description = "Icarus Verilog compiler";
|
description = "Icarus Verilog compiler";
|
||||||
homepage = "http://iverilog.icarus.com/"; # https does not work
|
homepage = "http://iverilog.icarus.com/"; # https does not work
|
||||||
license = with licenses; [ gpl2Plus lgpl21Plus ];
|
license = with licenses; [ gpl2Plus lgpl21Plus ];
|
||||||
maintainers = with maintainers; [ winden thoughtpolice ];
|
maintainers = with maintainers; [ thoughtpolice ];
|
||||||
platforms = platforms.all;
|
platforms = platforms.all;
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user