From 473a94efc84fb3bc5180892fb49aae80c82518bc Mon Sep 17 00:00:00 2001
From: wikku <35867657+wikku@users.noreply.github.com>
Date: Sat, 18 May 2024 01:28:28 +0200
Subject: [PATCH] Mention pynvim requirement (#356)

Neovim doesn't have a compile-time flag for python support. It's provided by the `pynvim` package.
---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 996010d3..67a55f5f 100644
--- a/README.md
+++ b/README.md
@@ -46,7 +46,7 @@ vim +PlugInstall +qa
 
 ### Requirements
 
-- Vim/Neovim compiled with `+python3` (3.6 or later)
+- Vim compiled with `+python3` (3.6 or later) or the `pynvim` Python package for Neovim
 - Vim configuration options `filetype plugin on`, and optionally `filetype
   indent on` and `syntax on` (e.g. in `.vimrc`)
 - [Coq 8.4 - 8.19]