diff options
Diffstat (limited to 'nixpkgs/pkgs/development/coq-modules/mathcomp/default.nix')
| -rw-r--r-- | nixpkgs/pkgs/development/coq-modules/mathcomp/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/nixpkgs/pkgs/development/coq-modules/mathcomp/default.nix b/nixpkgs/pkgs/development/coq-modules/mathcomp/default.nix index 6798236591c4..647a13afa8f8 100644 --- a/nixpkgs/pkgs/development/coq-modules/mathcomp/default.nix +++ b/nixpkgs/pkgs/development/coq-modules/mathcomp/default.nix @@ -92,7 +92,7 @@ let attrValues (mkMathcompGenFrom overrides (mathcomp-deps mathcomp-pkg) mathcomp-version); enableParallelBuilding = true; - buildFlags = optionalString withDoc "doc"; + buildFlags = optional withDoc "doc"; COQBIN = "${coq}/bin/"; @@ -108,7 +108,7 @@ let ''; meta = with stdenv.lib; { - homepage = http://ssr.msr-inria.inria.fr/; + homepage = "https://math-comp.github.io/"; license = licenses.cecill-b; maintainers = [ maintainers.vbgl maintainers.jwiegley ]; platforms = coq.meta.platforms; |