From a5dd26b9c5702fc3cf9ee76082e69766b063313a Mon Sep 17 00:00:00 2001
From: Nicolas Graves <ngraves@ngraves.fr>
Date: Sun, 21 Dec 2025 19:26:44 +0100
Subject: [PATCH] gnu: neovim-coqtail: Remove python-pynvim input.

* gnu/packages/vim.scm (neovim-coqtail)
[native-inputs, propagated-inputs]: Remove python-pynvim input.

Change-Id: Icec76ea9b98bf2ab20be2cc5e29e590d664eff96
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
---
 gnu/packages/vim.scm | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/gnu/packages/vim.scm b/gnu/packages/vim.scm
index 301bbd64231..ee8c3adb014 100644
--- a/gnu/packages/vim.scm
+++ b/gnu/packages/vim.scm
@@ -556,10 +556,7 @@ similar to CoqIDE or ProofGeneral.")
     (native-inputs
      (modify-inputs (package-native-inputs vim-coqtail)
        (replace "vim-vader" neovim-vader)
-       (append python-minimal python-pynvim)))
-    (propagated-inputs
-     (modify-inputs (package-propagated-inputs vim-coqtail)
-       (append python-pynvim)))))
+       (append python-minimal)))))
 
 (define-public vim-fugitive
   (package