Cannot install idris2 and idris2-lsp at the same time

[pimartinet]

When I try to install lsp while idris2 is installed (I tried both github:idris-lang/Idris2 and github:claymager/idris2-pkgs#idris2) or vice-versa, I get the following error:

$ nix profile install github:claymager/idris2-pkgs#lsp
error: packages '/nix/store/k3sjar5qg6gyxmyawc1f06si32swwwan-lsp-0.4.0/idris2-0.5.1/prelude-0.5.1/Builtin.ttc' and '/nix/store/ha29cylxibyspmhlsdgvw6293vma2cb2-idris2-0.5.1/idris2-0.5.1/prelude-0.5.1/Builtin.ttc' have the same priority 5; use 'nix-env --set-flag priority NUMBER INSTALLED_PKGNAME' to change the priority of one of the conflicting packages (0 being the highest priority)

I tried running nix-env --set-flag but it says the profile is incompatible with nix-env and nix profile --set-flag doesn't exist.