maintainers: add jvanbruegge
This commit is contained in:
parent
6fff929c5e
commit
d653b33f20
|
@ -5999,6 +5999,16 @@
|
||||||
githubId = 2396926;
|
githubId = 2396926;
|
||||||
name = "Justin Woo";
|
name = "Justin Woo";
|
||||||
};
|
};
|
||||||
|
jvanbruegge = {
|
||||||
|
email = "supermanitu@gmail.com";
|
||||||
|
github = "jvanbruegge";
|
||||||
|
githubId = 1529052;
|
||||||
|
name = "Jan van Brügge";
|
||||||
|
keys = [{
|
||||||
|
longkeyid = "rsa4096/0x366572BE7D6C78A2";
|
||||||
|
fingerprint = "3513 5CE5 77AD 711F 3825 9A99 3665 72BE 7D6C 78A2";
|
||||||
|
}];
|
||||||
|
};
|
||||||
jwatt = {
|
jwatt = {
|
||||||
email = "jwatt@broken.watch";
|
email = "jwatt@broken.watch";
|
||||||
github = "jjwatt";
|
github = "jjwatt";
|
||||||
|
|
|
@ -127,7 +127,7 @@ stdenv.mkDerivation rec {
|
||||||
'';
|
'';
|
||||||
homepage = "https://isabelle.in.tum.de/";
|
homepage = "https://isabelle.in.tum.de/";
|
||||||
license = licenses.bsd3;
|
license = licenses.bsd3;
|
||||||
maintainers = [ maintainers.jwiegley ];
|
maintainers = [ maintainers.jwiegley maintainers.jvanbruegge ];
|
||||||
platforms = platforms.linux;
|
platforms = platforms.linux;
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue