diff --git a/pkgs/development/coq-modules/mathcomp-analysis/default.nix b/pkgs/development/coq-modules/mathcomp-analysis/default.nix
index 9304335260a..7d63c903795 100644
--- a/pkgs/development/coq-modules/mathcomp-analysis/default.nix
+++ b/pkgs/development/coq-modules/mathcomp-analysis/default.nix
@@ -22,6 +22,7 @@ with lib; mkCoqDerivation {
 
   meta = {
     description = "Analysis library compatible with Mathematical Components";
+    maintainers = [ maintainers.cohencyril ];
     license = licenses.cecill-c;
   };
 }