diff options
Diffstat (limited to 'infra/libkookie/nixpkgs/pkgs/applications/science/logic/coq2html/default.nix')
-rw-r--r-- | infra/libkookie/nixpkgs/pkgs/applications/science/logic/coq2html/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/infra/libkookie/nixpkgs/pkgs/applications/science/logic/coq2html/default.nix b/infra/libkookie/nixpkgs/pkgs/applications/science/logic/coq2html/default.nix index 2e56eda893e9..e53e8e7392c0 100644 --- a/infra/libkookie/nixpkgs/pkgs/applications/science/logic/coq2html/default.nix +++ b/infra/libkookie/nixpkgs/pkgs/applications/science/logic/coq2html/default.nix @@ -1,6 +1,6 @@ { stdenv, fetchgit, ocaml }: -let +let version = "20170720"; in @@ -22,7 +22,7 @@ stdenv.mkDerivation { ''; meta = with stdenv.lib; { - description = "coq2html is an HTML documentation generator for Coq source files"; + description = "HTML documentation generator for Coq source files"; longDescription = '' coq2html is an HTML documentation generator for Coq source files. It is an alternative to the standard coqdoc documentation generator |