From 210fac2e71f1b2ca90f8e6a7b160169d2d025aca Mon Sep 17 00:00:00 2001
From: Antoine du Hamel <duhamelantoine1995@gmail.com>
Date: Thu, 15 Jan 2026 00:19:05 +0100
Subject: [PATCH] quint: remove nodejs_20 from deps

---
 pkgs/by-name/qu/quint/package.nix | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

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";