coq-nvim throws python error with 'pairwise' from 'std2'

[MortenMunk]

I encounter an error with 'pairwise' from 'std2.itertools' when trying to use coq-nvim. Not sure if this is specifically from nixvim, or somewhere else.. Besides below I am just using a flake that uses pkgs.coq
I am on unstable btw.

I use Nixvim as standalone flake, below is my config:

{
  plugins.coq-nvim = {
    enable = true;
    installArtifacts = true;
    settings = {
      auto_start = false;
      keymap.recommended = true;
    };
  };
}

When I use nvim in a .v file, and use the :COQnow nvim command, I get below error:

cannot import name 'pairwise' from 'std2.itertools' (/nix/store/miyn2p92cc8zkvihfbij887rirflal4h-python3-3.12.9-env/lib/python3.12/site-packages/std2/itertoo
ls.py)

Please update dependencies using :COQdeps
-
-
Dependencies will be installed privately inside /home/user/.cache/coq_nvim/vars
rm -rf 7kvlddalsk0ybws89scc97nwfiv9lw7v-vimplugin-coq_nvim-2025-04-13 will cleanly remove everything

[GaetanLepage]

I opened NixOS/nixpkgs#402834 which should probably fix it.

[GaetanLepage]

Can you update your flake inputs and try again please? It should be fixed now.

[MortenMunk]

It seems to work now! thanks!

[GaetanLepage]

Cool!