diff options
author | Valentin Robert <valentin.robert.42@gmail.com> | 2019-01-11 11:25:05 -0800 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-01-30 11:30:23 +0000 |
commit | f5dbe5de072a7595949f27adbd8955af2927a3db (patch) | |
tree | 5299341d19a58be16d24b041dfac9d0884da603d /maintainers/maintainer-list.nix | |
parent | 4a200fbbf0a26c55e5ecb280cf173569bd813197 (diff) | |
download | nixpkgs-f5dbe5de072a7595949f27adbd8955af2927a3db.tar nixpkgs-f5dbe5de072a7595949f27adbd8955af2927a3db.tar.gz nixpkgs-f5dbe5de072a7595949f27adbd8955af2927a3db.tar.bz2 nixpkgs-f5dbe5de072a7595949f27adbd8955af2927a3db.tar.lz nixpkgs-f5dbe5de072a7595949f27adbd8955af2927a3db.tar.xz nixpkgs-f5dbe5de072a7595949f27adbd8955af2927a3db.tar.zst nixpkgs-f5dbe5de072a7595949f27adbd8955af2927a3db.zip |
coqPackages.coq-extensible-records: init at 1.2.0
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 4ba5c2f3885..b09d2592a81 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -3666,6 +3666,11 @@ github = "PsyanticY"; name = "Psyanticy"; }; + ptival = { + email = "valentin.robert.42@gmail.com"; + github = "Ptival"; + name = "Valentin Robert"; + }; puffnfresh = { email = "brian@brianmckenna.org"; github = "puffnfresh"; |