diff options
Diffstat (limited to 'pkgs/applications/science/logic/klee/klee-uclibc.nix')
| -rw-r--r-- | pkgs/applications/science/logic/klee/klee-uclibc.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/klee/klee-uclibc.nix b/pkgs/applications/science/logic/klee/klee-uclibc.nix index a8e459a6bdaee..7c8b4e6a93d5c 100644 --- a/pkgs/applications/science/logic/klee/klee-uclibc.nix +++ b/pkgs/applications/science/logic/klee/klee-uclibc.nix @@ -89,7 +89,7 @@ in stdenv.mkDerivation rec { makeFlags = ["HAVE_DOT_CONFIG=y"]; meta = with lib; { - description = "A modified version of uClibc for KLEE."; + description = "A modified version of uClibc for KLEE"; longDescription = '' klee-uclibc is a bitcode build of uClibc meant for compatibility with the KLEE symbolic virtual machine. |