From 62d7a2f5b9d4aa4438a8bac330add4178050ea62 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Na=C3=AFm=20Camille=20Favier?= Date: Thu, 26 Jun 2025 04:30:17 +0200 Subject: [PATCH 1/2] haskellPackages.Agda: add ncfavier as maintainer --- .../haskell-modules/configuration-hackage2nix/main.yaml | 1 + pkgs/development/haskell-modules/hackage-packages.nix | 1 + 2 files changed, 2 insertions(+) diff --git a/pkgs/development/haskell-modules/configuration-hackage2nix/main.yaml b/pkgs/development/haskell-modules/configuration-hackage2nix/main.yaml index beeb87c5306f..76c86c899031 100644 --- a/pkgs/development/haskell-modules/configuration-hackage2nix/main.yaml +++ b/pkgs/development/haskell-modules/configuration-hackage2nix/main.yaml @@ -377,6 +377,7 @@ package-maintainers: - warp-systemd - amazonka ncfavier: + - Agda - irc-client - lambdabot - shake diff --git a/pkgs/development/haskell-modules/hackage-packages.nix b/pkgs/development/haskell-modules/hackage-packages.nix index 755fcf702c1f..6952b9b7a18f 100644 --- a/pkgs/development/haskell-modules/hackage-packages.nix +++ b/pkgs/development/haskell-modules/hackage-packages.nix @@ -1607,6 +1607,7 @@ self: { maintainers = [ lib.maintainers.abbradar lib.maintainers.iblech + lib.maintainers.ncfavier lib.maintainers.turion ]; } From c60ce81c6273c97f919bbf47a74778fc1aeae771 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Na=C3=AFm=20Camille=20Favier?= Date: Thu, 26 Jun 2025 13:05:43 +0200 Subject: [PATCH 2/2] haskellPackages.Agda: remove abbradar as maintainer They have been inactive for 3 years and are in the "retired nixpkgs contributors" team. --- .../haskell-modules/configuration-hackage2nix/main.yaml | 2 -- pkgs/development/haskell-modules/hackage-packages.nix | 1 - 2 files changed, 3 deletions(-) diff --git a/pkgs/development/haskell-modules/configuration-hackage2nix/main.yaml b/pkgs/development/haskell-modules/configuration-hackage2nix/main.yaml index 76c86c899031..3cf936d69336 100644 --- a/pkgs/development/haskell-modules/configuration-hackage2nix/main.yaml +++ b/pkgs/development/haskell-modules/configuration-hackage2nix/main.yaml @@ -126,8 +126,6 @@ extra-packages: # keep-sorted start skip_lines=1 case=no package-maintainers: - abbradar: - - Agda alexfmpe: - aeson-gadt-th - android-activity diff --git a/pkgs/development/haskell-modules/hackage-packages.nix b/pkgs/development/haskell-modules/hackage-packages.nix index 6952b9b7a18f..98b9531e2295 100644 --- a/pkgs/development/haskell-modules/hackage-packages.nix +++ b/pkgs/development/haskell-modules/hackage-packages.nix @@ -1605,7 +1605,6 @@ self: { description = "A dependently typed functional programming language and proof assistant"; license = lib.licenses.mit; maintainers = [ - lib.maintainers.abbradar lib.maintainers.iblech lib.maintainers.ncfavier lib.maintainers.turion