From 7c10cce9f3c553376b360dee909c93dfa135505a Mon Sep 17 00:00:00 2001
From: Cyril Cohen <cohen@crans.org>
Date: Thu, 14 Jan 2021 14:26:31 +0100
Subject: [PATCH] coqPackages.mathcomp-analysis: add maintainers

---
 pkgs/development/coq-modules/mathcomp-analysis/default.nix | 1 +
 1 file changed, 1 insertion(+)

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;
   };
 }