diff options
| author | Ben Siraphob <bensiraphob@gmail.com> | 2020-10-26 11:08:40 +0700 |
|---|---|---|
| committer | Jon <jonringer@users.noreply.github.com> | 2020-10-27 09:15:07 -0700 |
| commit | db74029e3e9b884731f0753f605e2d838b70afb0 (patch) | |
| tree | 01cf8e94b0b6090765c01ad54f5c7dd8444bce06 /pkgs/applications/science/logic | |
| parent | 7371c2cc9bf813ae52bebff357e4bf3070879bbf (diff) | |
treewide: remove package names from prefix of descriptions
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/coq2html/default.nix | 4 | ||||
| -rw-r--r-- | pkgs/applications/science/logic/ott/default.nix | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/coq2html/default.nix b/pkgs/applications/science/logic/coq2html/default.nix index 2e56eda893e9..e53e8e7392c0 100644 --- a/pkgs/applications/science/logic/coq2html/default.nix +++ b/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 diff --git a/pkgs/applications/science/logic/ott/default.nix b/pkgs/applications/science/logic/ott/default.nix index ecc253a64d98..48ad63eaa993 100644 --- a/pkgs/applications/science/logic/ott/default.nix +++ b/pkgs/applications/science/logic/ott/default.nix @@ -19,7 +19,7 @@ stdenv.mkDerivation rec { postInstall = "opaline -prefix $out"; meta = { - description = "Ott: tool for the working semanticist"; + description = "A tool for the working semanticist"; longDescription = '' Ott is a tool for writing definitions of programming languages and calculi. It takes as input a definition of a language syntax and |