quint: remove nodejs_20 from deps

2026-01-15 00:19:12 +01:00
parent 61db79b0c6
commit 210fac2e71
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";