diff options
| -rw-r--r-- | gnu/packages/vim.scm | 5 |
1 files changed, 4 insertions, 1 deletions
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 |