[BUG] coq_nvim: No module named 'pynvim_pp'

[soopyc]

Plugin

coq-nvim

Nixpkgs Release

unstable

Home Manager Release

None

I have read the FAQ

• I have read the FAQ and my bug is not listed there.

Description

Running :COQnow fails to start with the error No module named 'pynvim_pp.

Of note, nixvim/nixos-25.11 works but nixvim/main does not.

Attempting to resolve the issue with extraPython3Packages = ps: with ps; [ pynvim-pp ]; yields another error with a missing yaml module and does not fix the problem.

This may be a duplicate of #3013.

Minimal, Reproducible Example (MRE)

{
  programs.nixvim = {
    enable = true;
    plugins.coq-nvim.enable = true;
  };
}