diff options
author | Cyril Cohen <cohen@crans.org> | 2019-08-06 11:15:37 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-08-09 08:47:52 +0000 |
commit | 52f3c28df2300c60ca015fc39d48c10f09b8c5ef (patch) | |
tree | 20eb8fd858e77a35c46ceb17e876d05a9210141c /maintainers/maintainer-list.nix | |
parent | 380b127658197ce249d508048d5faea169e9f67d (diff) | |
download | nixpkgs-52f3c28df2300c60ca015fc39d48c10f09b8c5ef.tar nixpkgs-52f3c28df2300c60ca015fc39d48c10f09b8c5ef.tar.gz nixpkgs-52f3c28df2300c60ca015fc39d48c10f09b8c5ef.tar.bz2 nixpkgs-52f3c28df2300c60ca015fc39d48c10f09b8c5ef.tar.lz nixpkgs-52f3c28df2300c60ca015fc39d48c10f09b8c5ef.tar.xz nixpkgs-52f3c28df2300c60ca015fc39d48c10f09b8c5ef.tar.zst nixpkgs-52f3c28df2300c60ca015fc39d48c10f09b8c5ef.zip |
elpi: 1.4.1 -> 1.6.0, and coq-elpi
Diffstat (limited to 'maintainers/maintainer-list.nix')
-rw-r--r-- | maintainers/maintainer-list.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index af6fc10f0f8..65095e78596 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -1083,6 +1083,11 @@ github = "codyopel"; name = "Cody Opel"; }; + cohencyril = { + email = "cyril.cohen@inria.fr"; + github = "CohenCyril"; + name = "Cyril Cohen"; + }; colemickens = { email = "cole.mickens@gmail.com"; github = "colemickens"; |