From 9ea1f78ff8ddaf9e57cf50ca9c60f499a1682e62 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Na=C3=AFm=20Camille=20Favier?= <n@monade.li>
Date: Thu, 2 Oct 2025 11:25:01 +0200
Subject: [PATCH 1/2] Add an Agda team

---
 ci/OWNERS                 |  7 +++++++
 maintainers/team-list.nix | 11 +++++++++++
 2 files changed, 18 insertions(+)

diff --git a/ci/OWNERS b/ci/OWNERS
index 65fca06c3879..49a4b4c7dbb7 100644
--- a/ci/OWNERS
+++ b/ci/OWNERS
@@ -333,6 +333,13 @@ pkgs/development/python-modules/buildcatrust/ @ajs124 @lukegb @mweinelt
 /pkgs/development/dhall-modules      @Gabriella439 @Profpatsch
 /pkgs/development/interpreters/dhall @Gabriella439 @Profpatsch
 
+# Agda
+/pkgs/build-support/agda                  @NixOS/agda
+/pkgs/top-level/agda-packages.nix         @NixOS/agda
+/pkgs/development/libraries/agda          @NixOS/agda
+/doc/languages-frameworks/agda.section.md @NixOS/agda
+/nixos/tests/agda.nix                     @NixOS/agda
+
 # Idris
 /pkgs/development/idris-modules @Infinisil
 /pkgs/development/compilers/idris2 @mattpolzin
diff --git a/maintainers/team-list.nix b/maintainers/team-list.nix
index 4091318ce1ff..d279a5834d78 100644
--- a/maintainers/team-list.nix
+++ b/maintainers/team-list.nix
@@ -45,6 +45,17 @@ with lib.maintainers;
     enableFeatureFreezePing = true;
   };
 
+  agda = {
+    members = [
+      alexarice
+      ncfavier
+      phijor
+      turion
+    ];
+    scope = "Maintain Agda-related packages and modules.";
+    shortName = "Agda";
+  };
+
   android = {
     members = [
       adrian-gierakowski

From b89e10d0a9d6cd9a311d30f47dcf11ce8d430c61 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Na=C3=AFm=20Camille=20Favier?= <n@monade.li>
Date: Thu, 2 Oct 2025 11:39:28 +0200
Subject: [PATCH 2/2] haskellPackages.agda2hs: adopt

---
 .../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 0f06aa577172..6eb523c28113 100644
--- a/pkgs/development/haskell-modules/configuration-hackage2nix/main.yaml
+++ b/pkgs/development/haskell-modules/configuration-hackage2nix/main.yaml
@@ -364,6 +364,7 @@ package-maintainers:
     - amazonka
   ncfavier:
     - Agda
+    - agda2hs
     - irc-client
     - lambdabot
     - shake
diff --git a/pkgs/development/haskell-modules/hackage-packages.nix b/pkgs/development/haskell-modules/hackage-packages.nix
index 06b7b99e5cd7..4ce35d6cff63 100644
--- a/pkgs/development/haskell-modules/hackage-packages.nix
+++ b/pkgs/development/haskell-modules/hackage-packages.nix
@@ -56700,6 +56700,7 @@ self: {
       description = "Compiling Agda code to readable Haskell";
       license = lib.licenses.bsd3;
       mainProgram = "agda2hs";
+      maintainers = [ lib.maintainers.ncfavier ];
     }
   ) { };