diff --git a/pkgs/applications/science/logic/why3/default.nix b/pkgs/applications/science/logic/why3/default.nix index f46838c3b07..924ff3fd9fd 100644 --- a/pkgs/applications/science/logic/why3/default.nix +++ b/pkgs/applications/science/logic/why3/default.nix @@ -17,7 +17,7 @@ stdenv.mkDerivation { # Documentation rubber hevea # GUI - lablgtk + lablgtk3-sourceview3 # WebIDE js_of_ocaml js_of_ocaml-ppx # S-expression output for why3pp