diff options
| author | Nicolas Graves <ngraves@ngraves.fr> | 2025-12-21 19:26:44 +0100 |
|---|---|---|
| committer | Sharlatan Hellseher <sharlatanus@gmail.com> | 2025-12-27 22:02:52 +0000 |
| commit | a5dd26b9c5702fc3cf9ee76082e69766b063313a (patch) | |
| tree | bfe9d32f1fb651dac9d37ed327c41ef1edb70e46 /gnu/packages/vim.scm | |
| parent | 7081495ec6bc33fd8318d1b0577c11da4de95bc6 (diff) | |
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>
Diffstat (limited to 'gnu/packages/vim.scm')
| -rw-r--r-- | gnu/packages/vim.scm | 5 |
1 files changed, 1 insertions, 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 |