maintainers: add jvanbruegge
commitd653b33f2083022e5e0bfad73002314570379ef1
authorJan van Brügge <supermanitu@gmail.com>
dateMon 10 Jan 2022, 12:28 (5 years ago)
parent6fff929
maintainers/maintainer-list.nix+10
@@ -5999,6 +5999,16 @@
59995999 githubId = 2396926;
60006000 name = "Justin Woo";
60016001 };
6002+ jvanbruegge = {
6003+ email = "supermanitu@gmail.com";
6004+ github = "jvanbruegge";
6005+ githubId = 1529052;
6006+ name = "Jan van Brügge";
6007+ keys = [{
6008+ longkeyid = "rsa4096/0x366572BE7D6C78A2";
6009+ fingerprint = "3513 5CE5 77AD 711F 3825 9A99 3665 72BE 7D6C 78A2";
6010+ }];
6011+ };
60026012 jwatt = {
60036013 email = "jwatt@broken.watch";
60046014 github = "jjwatt";
pkgs/applications/science/logic/isabelle/default.nix+1−1
@@ -127,7 +127,7 @@ stdenv.mkDerivation rec {
127127 '';
128128 homepage = "https://isabelle.in.tum.de/";
129129 license = licenses.bsd3;
130− maintainers = [ maintainers.jwiegley ];
130+ maintainers = [ maintainers.jwiegley maintainers.jvanbruegge ];
131131 platforms = platforms.linux;
132132 };
133133}