diff options
Diffstat (limited to 'pkgs/development/ocaml-modules/dolmen/loop.nix')
| -rw-r--r-- | pkgs/development/ocaml-modules/dolmen/loop.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/ocaml-modules/dolmen/loop.nix b/pkgs/development/ocaml-modules/dolmen/loop.nix index 11e49ad9ee8d9..19349bcb6e6aa 100644 --- a/pkgs/development/ocaml-modules/dolmen/loop.nix +++ b/pkgs/development/ocaml-modules/dolmen/loop.nix @@ -10,6 +10,6 @@ buildDunePackage { propagatedBuildInputs = [ dolmen dolmen_type gen pp_loc ]; meta = dolmen.meta // { - description = "A tool library for automated deduction tools"; + description = "Tool library for automated deduction tools"; }; } |