diff --git a/pkgs/development/haskell-modules/configuration-hackage2nix/main.yaml b/pkgs/development/haskell-modules/configuration-hackage2nix/main.yaml
index beeb87c5306f..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
@@ -377,6 +375,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..98b9531e2295 100644
--- a/pkgs/development/haskell-modules/hackage-packages.nix
+++ b/pkgs/development/haskell-modules/hackage-packages.nix
@@ -1605,8 +1605,8 @@ 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
       ];
     }