diff options
author | Maciej Krüger <mkg20001@gmail.com> | 2023-05-07 14:36:37 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-05-07 14:36:37 +0200 |
commit | 66b04e0b18ea6d170e7ffafffab20d74e7bd85a9 (patch) | |
tree | 67a537500f20ce9953a986c9c0f61c55934d715c | |
parent | 24b162805d7e24997c6736444726b2652e918256 (diff) | |
parent | 83738ea64f19e6431a5a000b71b4353d0756971d (diff) |
Merge pull request #230502 from mkg20001/haste-upgrade
-rw-r--r-- | pkgs/servers/haste-server/default.nix | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/pkgs/servers/haste-server/default.nix b/pkgs/servers/haste-server/default.nix index 14ec58afa3504..f1281cffb437d 100644 --- a/pkgs/servers/haste-server/default.nix +++ b/pkgs/servers/haste-server/default.nix @@ -3,10 +3,13 @@ , stdenv , fetchFromGitHub , makeWrapper -, nodejs +, nodejs_18 , pkgs }: +let + nodejs = nodejs_18; +in stdenv.mkDerivation rec { pname = "haste-server"; version = "b52b394bad909ddf151073987671e843540d91d6"; |