Updated inputs and disabled spago2nix (nodejs 10 is too old)

This commit is contained in:
Andrea Ciceri 2022-01-08 15:56:46 +01:00
parent 68eace4a44
commit ddefe962cc
No known key found for this signature in database
GPG key ID: A1FC89532D1C5654
2 changed files with 45 additions and 45 deletions

View file

@ -60,12 +60,12 @@
] ++ (if pkgs.system == "x86_64-linux" then [
python-language-server
] ++ (with easy-ps; [
purs
spago
spago2nix
# spago2nix
nodejs
pulp
purescript-language-server
purs
purs-tidy
nodejs
spago
]) else [ ]);
}