public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coq: adding myself to the maintainers

Browse Source
This commit is contained in:
Théo Zimmermann 2017-08-04 19:46:16 +02:00
parent b25d65e051
commit 057ffcf0dd
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
lib/maintainers.nix
View File

@ -632,6 +632,7 @@
zauberpony = "Elmar Athmer <elmar@athmer.org>"; zauberpony = "Elmar Athmer <elmar@athmer.org>";
zef = "Zef Hemel <zef@zef.me>"; zef = "Zef Hemel <zef@zef.me>";
zimbatm = "zimbatm <zimbatm@zimbatm.com>"; zimbatm = "zimbatm <zimbatm@zimbatm.com>";
Zimmi48 = "Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>";
zohl = "Al Zohali <zohl@fmap.me>"; zohl = "Al Zohali <zohl@fmap.me>";
zoomulator = "Kim Simmons <zoomulator@gmail.com>"; zoomulator = "Kim Simmons <zoomulator@gmail.com>";
zraexy = "David Mell <zraexy@gmail.com>"; zraexy = "David Mell <zraexy@gmail.com>";

2
pkgs/applications/science/logic/coq/default.nix
View File

@ -133,7 +133,7 @@ self = stdenv.mkDerivation {
homepage = http://coq.inria.fr; homepage = http://coq.inria.fr;
license = licenses.lgpl21; license = licenses.lgpl21;
branch = coq-version; branch = coq-version;
maintainers = with maintainers; [ roconnor thoughtpolice vbgl ]; maintainers = with maintainers; [ roconnor thoughtpolice vbgl Zimmi48 ];
platforms = platforms.unix; platforms = platforms.unix;
}; };
}; in self }; in self