diff options
author | Jean-Pierre De Jesus DIAZ <jean@foundation.xyz> | 2024-06-03 19:01:47 +0200 |
---|---|---|
committer | Christopher Baines <mail@cbaines.net> | 2024-06-11 11:49:53 +0100 |
commit | 6531c88cceb77d3603886b4dd8afc6d38b7ef802 (patch) | |
tree | bd336480fc438de77e793a9a5eb7dfeb106e5b9e /gnu | |
parent | 1601508854b8d48f9467365ab81c112e514bf2e5 (diff) | |
download | guix-6531c88cceb77d3603886b4dd8afc6d38b7ef802.tar.gz guix-6531c88cceb77d3603886b4dd8afc6d38b7ef802.zip |
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>
Diffstat (limited to 'gnu')
-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 |