aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages
diff options
context:
space:
mode:
authorJean-Pierre De Jesus DIAZ <jean@foundationdevices.com>2023-12-27 16:31:50 +0100
committerEfraim Flashner <efraim@flashner.co.il>2024-01-01 10:51:06 +0200
commit3bb1390171fe71ce8786648a5d8e2b4ed142e4ea (patch)
tree9e8192d4c6dc59cb15e9a44e03157547b52afe69 /gnu/packages
parent6abff4eafab1206f1de1451501550ade1eaccd3c (diff)
downloadguix-3bb1390171fe71ce8786648a5d8e2b4ed142e4ea.tar.gz
guix-3bb1390171fe71ce8786648a5d8e2b4ed142e4ea.zip
gnu: Add neovim-coqtail.
* gnu/packages/vim.scm (neovim-coqtail): New variable. Change-Id: I431571925da02788410fc8bf3b1e1aea93bcb1bb Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
Diffstat (limited to 'gnu/packages')
-rw-r--r--gnu/packages/vim.scm12
1 files changed, 12 insertions, 0 deletions
diff --git a/gnu/packages/vim.scm b/gnu/packages/vim.scm
index 5f211b120d..1f7a005cb1 100644
--- a/gnu/packages/vim.scm
+++ b/gnu/packages/vim.scm
@@ -518,6 +518,18 @@ similar to CoqIDE or ProofGeneral.")
(home-page "https://github.com/whonore/Coqtail")
(license license:expat))))
+(define-public neovim-coqtail
+ (package
+ (inherit vim-coqtail)
+ (name "neovim-coqtail")
+ (synopsis "Interactive Coq proofs in Neovim")
+ (description "Coqtail enables interactive Coq proof development in Neovim
+similar to CoqIDE or ProofGeneral.")
+ (native-inputs
+ (modify-inputs (package-native-inputs vim-coqtail)
+ (replace "vim-vader" neovim-vader)
+ (append python-minimal python-pynvim)))))
+
(define-public vim-fugitive
(package
(name "vim-fugitive")