diff --git a/pkgs/by-name/qu/quint/package.nix b/pkgs/by-name/qu/quint/package.nix index 2b48be3b4102..64321ff81b4c 100644 --- a/pkgs/by-name/qu/quint/package.nix +++ b/pkgs/by-name/qu/quint/package.nix @@ -4,7 +4,6 @@ rustPlatform, fetchFromGitHub, nodejs, - nodejs_20, makeWrapper, jre, fetchzip, @@ -40,9 +39,7 @@ let # Build the Quint CLI from source quint-cli = buildNpmPackage { pname = "quint-cli"; - inherit version src; - - nativeBuildInputs = [ nodejs_20 ]; + inherit version src nodejs; sourceRoot = "${src.name}/quint";