diff options
Diffstat (limited to 'nixpkgs/pkgs/applications/science/logic/coq2html/default.nix')
-rw-r--r-- | nixpkgs/pkgs/applications/science/logic/coq2html/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/nixpkgs/pkgs/applications/science/logic/coq2html/default.nix b/nixpkgs/pkgs/applications/science/logic/coq2html/default.nix index e53e8e7392c0..46f2ebd775bf 100644 --- a/nixpkgs/pkgs/applications/science/logic/coq2html/default.nix +++ b/nixpkgs/pkgs/applications/science/logic/coq2html/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchgit, ocaml }: +{ lib, stdenv, fetchgit, ocaml }: let version = "20170720"; @@ -21,7 +21,7 @@ stdenv.mkDerivation { cp coq2html $out/bin ''; - meta = with stdenv.lib; { + meta = with lib; { description = "HTML documentation generator for Coq source files"; longDescription = '' coq2html is an HTML documentation generator for Coq source files. It is |