diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2021-01-14 15:35:47 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-14 15:35:47 +0100 |
commit | 21a47c4ef3c422b488ed2117c3f03e5c88f65449 (patch) | |
tree | 69a77f688732a36d99aa1cda74494cf01911edb6 /pkgs | |
parent | 97259d0e38d59ab75fc54e475d682975708a8eb3 (diff) | |
parent | 7c10cce9f3c553376b360dee909c93dfa135505a (diff) |
Merge pull request #109360 from CohenCyril/analysis-maintainers
coqPackages.mathcomp-analysis: add maintainers
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/coq-modules/mathcomp-analysis/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/mathcomp-analysis/default.nix b/pkgs/development/coq-modules/mathcomp-analysis/default.nix index 9304335260a9d..7d63c903795c2 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; }; } |