Install steps list improper nix-env command

[calebegg]

The documentation says to run

$ nix-env -i idris2

On my system, that results in this error:

error: selector 'idris2' matches no derivations, maybe you meant:
       idris2-lsp
       idris2-wrapped
       idris2api

Looking at nixos's package search, I see that idris2 is somehow an alias for idris2-wrapped, so I installed that instead. I'm not very familiar with nix, so I'm not sure where the issue is, but I wanted to report that the command in the docs does not work as written.

[erooke]

Interesting, I just tried locally and it worked as expected. Out of curiosity what version of nix/nixpkgs are you using?

[calebegg]

It's the version supplied by my OS -- it does look to be a little out of date, which I think is normal for debian stable. If that's the issue and later versions fix this, feel free to close, but I would suggest maybe putting a note or something, if these older versions are still around in some OS package managers.

$ nix-env --version
nix-env (Nix) 2.26.3

$ nix-env -qa --installed
<snip>
idris2-lsp-2025-09-10
idris2-wrapped-0.8.0

[calebegg]

Oh, and the nixpkgs version seems to be:

$ nix-instantiate --eval --expr "(import <nixpkgs> {}).lib.version"
"26.05pre940087.aa290c9891fa"