Lean on Nix / NixOS still supported?

Stream: new members

[wuyoli]

I Like Nix. When I tried to use Lean I found a Nix template. When trying to use this I got the error

warning: The Nix-based build is deprecated

I'm wondering if that is true, since the nix code is still in the repo and there even was somewhat recent development. If not is there any unofficial/third-party way to use Lean and Lean Packages with nix?

[Johan Commelin]

Please install elan from nixpkgs. It will take care of the rest

[Fernando Chu]

What about the vscode extension? It seems it isn't in nixpkgs. Is there a recommended way to get it declaritively?