diff --git a/pkgs/development/coq-modules/verified-extraction/default.nix b/pkgs/development/coq-modules/verified-extraction/default.nix
index c8ce1f8bf02f..fbe3610c9815 100644
--- a/pkgs/development/coq-modules/verified-extraction/default.nix
+++ b/pkgs/development/coq-modules/verified-extraction/default.nix
@@ -59,7 +59,6 @@ mkCoqDerivation {
     homepage = "https://metarocq.github.io/";
     description = "Verified Extraction from Rocq to OCaml. Including a bootstrapped extraction plugin";
     maintainers = with maintainers; [
-      mattam82
       _4ever2
     ];
   };