JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #109360 from CohenCyril/analysis-maintainers

Browse Source 
coqPackages.mathcomp-analysis: add maintainers
This commit is contained in:
Sandro 2021-01-14 15:35:47 +01:00 committed by GitHub
commit 21a47c4ef3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/development/coq-modules/mathcomp-analysis/default.nix
View File

@ -22,6 +22,7 @@ with lib; mkCoqDerivation {
meta = {
description = "Analysis library compatible with Mathematical Components";
maintainers = [ maintainers.cohencyril ];
license = licenses.cecill-c;
};
}