diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-08-04 19:46:16 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-08-04 19:52:55 +0200 |
commit | 057ffcf0ddb3f94b8cc6899b6d5bfe7f93f1014e (patch) | |
tree | 277cd56299987886311f0ae21aa43778ba2fae93 /pkgs/applications/science | |
parent | b25d65e0513b59a7767ca627ab61ed84c3ea0768 (diff) | |
download | nixlib-057ffcf0ddb3f94b8cc6899b6d5bfe7f93f1014e.tar nixlib-057ffcf0ddb3f94b8cc6899b6d5bfe7f93f1014e.tar.gz nixlib-057ffcf0ddb3f94b8cc6899b6d5bfe7f93f1014e.tar.bz2 nixlib-057ffcf0ddb3f94b8cc6899b6d5bfe7f93f1014e.tar.lz nixlib-057ffcf0ddb3f94b8cc6899b6d5bfe7f93f1014e.tar.xz nixlib-057ffcf0ddb3f94b8cc6899b6d5bfe7f93f1014e.tar.zst nixlib-057ffcf0ddb3f94b8cc6899b6d5bfe7f93f1014e.zip |
coq: adding myself to the maintainers
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r-- | pkgs/applications/science/logic/coq/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix index 3f4be58c2667..9620140dde4b 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -133,7 +133,7 @@ self = stdenv.mkDerivation { homepage = http://coq.inria.fr; license = licenses.lgpl21; branch = coq-version; - maintainers = with maintainers; [ roconnor thoughtpolice vbgl ]; + maintainers = with maintainers; [ roconnor thoughtpolice vbgl Zimmi48 ]; platforms = platforms.unix; }; }; in self |