diff options
Diffstat (limited to 'infra/libkookie/nixpkgs/pkgs/applications/science/logic/ott')
-rw-r--r-- | infra/libkookie/nixpkgs/pkgs/applications/science/logic/ott/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/infra/libkookie/nixpkgs/pkgs/applications/science/logic/ott/default.nix b/infra/libkookie/nixpkgs/pkgs/applications/science/logic/ott/default.nix index ecc253a64d98..48ad63eaa993 100644 --- a/infra/libkookie/nixpkgs/pkgs/applications/science/logic/ott/default.nix +++ b/infra/libkookie/nixpkgs/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 |