diff options
| author | Cyril Cohen <cohen@crans.org> | 2021-01-14 14:26:31 +0100 |
|---|---|---|
| committer | Cyril Cohen <cohen@crans.org> | 2021-01-14 14:27:55 +0100 |
| commit | 7c10cce9f3c553376b360dee909c93dfa135505a (patch) | |
| tree | 82c45dffa6fab47d0505b8f9d718e4d0182e4747 /pkgs/development/coq-modules | |
| parent | 7d9c32f7437cb1d51df7f2e64144c083517aa320 (diff) | |
| download | nixlib-7c10cce9f3c553376b360dee909c93dfa135505a.tar nixlib-7c10cce9f3c553376b360dee909c93dfa135505a.tar.gz nixlib-7c10cce9f3c553376b360dee909c93dfa135505a.tar.bz2 nixlib-7c10cce9f3c553376b360dee909c93dfa135505a.tar.lz nixlib-7c10cce9f3c553376b360dee909c93dfa135505a.tar.xz nixlib-7c10cce9f3c553376b360dee909c93dfa135505a.tar.zst nixlib-7c10cce9f3c553376b360dee909c93dfa135505a.zip | |
coqPackages.mathcomp-analysis: add maintainers
Diffstat (limited to 'pkgs/development/coq-modules')
| -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 9304335260a9..7d63c903795c 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; }; } |