nixvim docs

plugins.coq-thirdparty.enable

Whether to enable coq-thirdparty.

Type: boolean

Default: false

Example: true

Declared by:

• <nixvim/plugins/by-name/coq-thirdparty>

plugins.coq-thirdparty.package

The coq-thirdparty package to use.

Type: package

Default: pkgs.vimPlugins.coq-thirdparty

Declared by:

• <nixvim/plugins/by-name/coq-thirdparty>