diff options
| author | Jean-Pierre De Jesus DIAZ <jean@foundationdevices.com> | 2023-12-27 16:31:50 +0100 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2024-01-01 10:51:06 +0200 |
| commit | 3bb1390171fe71ce8786648a5d8e2b4ed142e4ea (patch) | |
| tree | 9e8192d4c6dc59cb15e9a44e03157547b52afe69 /gnu/packages/vim.scm | |
| parent | 6abff4eafab1206f1de1451501550ade1eaccd3c (diff) | |
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/vim.scm')
| -rw-r--r-- | gnu/packages/vim.scm | 12 |
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") |