From 6531c88cceb77d3603886b4dd8afc6d38b7ef802 Mon Sep 17 00:00:00 2001
From: Jean-Pierre De Jesus DIAZ <jean@foundation.xyz>
Date: Mon, 3 Jun 2024 19:01:47 +0200
Subject: [PATCH] gnu: neovim-coqtail: Propagate python-pynvim.

* gnu/packages/vim.scm (neovim-coqtail)<propagated-inputs>: Add python-pynvim.

Change-Id: Ic55bba3a959a1400e75788bf2054d816bb6146a6
Signed-off-by: Christopher Baines <mail@cbaines.net>
---
 gnu/packages/vim.scm | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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