diff options
author | Mathew Polzin <matt.polzin@gmail.com> | 2024-01-15 18:20:58 -0600 |
---|---|---|
committer | Mathew Polzin <matt.polzin@gmail.com> | 2024-01-15 18:20:58 -0600 |
commit | f3c916f9090dc461c59f807ddcd756ca43a166cd (patch) | |
tree | 8c2a12c1911b0c172994724a84f123ce54ae9da8 /pkgs/development/compilers/idris2 | |
parent | ce58e0643bd5939a51f2de13b8987f6b1be4898a (diff) |
idris2: add mattpolzin as a maintainer
Diffstat (limited to 'pkgs/development/compilers/idris2')
-rw-r--r-- | pkgs/development/compilers/idris2/idris2.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/compilers/idris2/idris2.nix b/pkgs/development/compilers/idris2/idris2.nix index fc72bffb3847..88c4d05703cf 100644 --- a/pkgs/development/compilers/idris2/idris2.nix +++ b/pkgs/development/compilers/idris2/idris2.nix @@ -91,7 +91,7 @@ in stdenv.mkDerivation rec { description = "A purely functional programming language with first class types"; homepage = "https://github.com/idris-lang/Idris2"; license = lib.licenses.bsd3; - maintainers = with lib.maintainers; [ fabianhjr wchresta ]; + maintainers = with lib.maintainers; [ fabianhjr wchresta mattpolzin ]; inherit (chez.meta) platforms; }; } |