b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

coqPackages.mathcomp-analysis: add maintainers

Browse source
This commit is contained in:
Cyril Cohen 2021-01-14 14:26:31 +01:00
parent 7d9c32f743
commit 7c10cce9f3
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;
};
}