diff options
author | alex <source@proof.construction> | 2023-06-23 15:07:24 -0500 |
---|---|---|
committer | alex <source@proof.construction> | 2023-06-23 15:07:24 -0500 |
commit | 4edf0b8bc4679400b493699dd2b89f2416c5346b (patch) | |
tree | a5197a2678970e03f5420c0879b3d6c1911e7cdc /maintainers | |
parent | b3f5bcf0be3e15226b0e9d698aa734ee098aa08f (diff) | |
download | nixpkgs-4edf0b8bc4679400b493699dd2b89f2416c5346b.tar nixpkgs-4edf0b8bc4679400b493699dd2b89f2416c5346b.tar.gz nixpkgs-4edf0b8bc4679400b493699dd2b89f2416c5346b.tar.bz2 nixpkgs-4edf0b8bc4679400b493699dd2b89f2416c5346b.tar.lz nixpkgs-4edf0b8bc4679400b493699dd2b89f2416c5346b.tar.xz nixpkgs-4edf0b8bc4679400b493699dd2b89f2416c5346b.tar.zst nixpkgs-4edf0b8bc4679400b493699dd2b89f2416c5346b.zip |
maintainers: add proofconstruction
Diffstat (limited to 'maintainers')
-rw-r--r-- | maintainers/maintainer-list.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index f7c5ba0261d..bae0366dd07 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -13103,6 +13103,12 @@ githubId = 406946; name = "Valentin Lorentz"; }; + proofconstruction = { + email = "source@proof.construction"; + github = "proofconstruction"; + githubId = 74747193; + name = "Alexander Groleau"; + }; proofofkeags = { email = "keagan.mcclelland@gmail.com"; github = "ProofOfKeags"; |