quint: remove nodejs_20 from deps (#480195)

2026-01-15 10:08:15 +00:00
parent d8ccfc42fb 210fac2e71
commit 1ab810c494
1 changed files with 1 additions and 4 deletions
@@ -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";