[BUG] coq_nvim: No module named coq

[PedroMAdorno4]

Field	Description
Plugin	coq-nvim
Nixpkgs	unstable
Home Manager	unstable

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

Description

coq-nvim throws a /nix/store/jf985f7rfw1gbiligsydk3w1ab4zqnqc-python3-3.12.8-env/bin/python3.12: No module named coq error when starting. I assume the plugin setup changed upstream and its' environment is broken again

Minimal, Reproducible Example (MRE)

  programs.nixvim = {
    enable = true;
    plugins = {
      coq-nvim = {
        enable = true;
        autoLoad = true;
        installArtifacts = true;
        settings = {
          auto_start = true;
          keymap.recommended = true;
          xdg = true;
        };
      };
    };
  };

[MattSturgeon]

Generally, these kinda issues can be avoided by allowing nixvim to use the nixpkgs revision specified in our lockfile.

The nixpkgs revision in our lockfile has been tested (to some extend) against all plugins supported by nixvim, so you're far less likely to run into issues.

You can usually achieve this by removing any inputs.nixpkgs.follows from your nixvim flake input.