diff options
Diffstat (limited to 'pkgs/applications/science/logic/leo3/binary.nix')
-rw-r--r-- | pkgs/applications/science/logic/leo3/binary.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/leo3/binary.nix b/pkgs/applications/science/logic/leo3/binary.nix index 0cdf8a4dc2103..e8af3fdaab1a3 100644 --- a/pkgs/applications/science/logic/leo3/binary.nix +++ b/pkgs/applications/science/logic/leo3/binary.nix @@ -19,7 +19,7 @@ stdenv.mkDerivation rec { ''; meta = with lib; { - description = "An automated theorem prover for classical higher-order logic with choice"; + description = "Automated theorem prover for classical higher-order logic with choice"; mainProgram = "leo3"; sourceProvenance = with sourceTypes; [ binaryBytecode ]; license = licenses.bsd3; |