TakeV/guix
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

gnu: Add neovim-coqtail.

Browse source 
* gnu/packages/vim.scm (neovim-coqtail): New variable.

Change-Id: I431571925da02788410fc8bf3b1e1aea93bcb1bb
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
This commit is contained in:
Jean-Pierre De Jesus DIAZ 2023-12-27 16:31:50 +01:00 committed by Efraim Flashner
parent 6abff4eafa
commit 3bb1390171
No known key found for this signature in database
GPG key ID: 41AAE7DCCA3D8351
1 changed files with 12 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
gnu/packages/vim.scm
View file

@ -518,6 +518,18 @@ (define-public vim-coqtail
(home-page "https://github.com/whonore/Coqtail") (home-page "https://github.com/whonore/Coqtail")
(license license:expat)))) (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 (define-public vim-fugitive
(package (package
(name "vim-fugitive") (name "vim-fugitive")