agda: add iblech to maintainers

Requested via https://github.com/NixOS/nixpkgs/pull/213896#issuecomment-1427648861.
2026-07-26 10:30:32 +00:00 · 2023-02-14 14:46:36 +01:00
parent 168d9a5f1e
commit 8686ffd4fa
2 changed files with 6 additions and 1 deletions
--- a/pkgs/development/haskell-modules/configuration-hackage2nix/main.yaml
+++ b/pkgs/development/haskell-modules/configuration-hackage2nix/main.yaml
@@ -274,6 +274,8 @@ package-maintainers:
    - wstunnel
  gridaphobe:
    - located-base
+  iblech:
+    - Agda
  ivanbrennan:
    - xmonad
    - xmonad-contrib
--- a/pkgs/development/haskell-modules/hackage-packages.nix
+++ b/pkgs/development/haskell-modules/hackage-packages.nix
@@ -840,7 +840,10 @@ self: {
       executableToolDepends = [ emacs ];
       description = "A dependently typed functional programming language and proof assistant";
       license = "unknown";
-       maintainers = [ lib.maintainers.abbradar lib.maintainers.turion ];
+       maintainers = [
+         lib.maintainers.abbradar lib.maintainers.iblech
+         lib.maintainers.turion
+       ];
     }) {inherit (pkgs) emacs;};

  "Agda-executable" = callPackage