[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
06/06: gnu: Add neovim-coqtail.
From: |
guix-commits |
Subject: |
06/06: gnu: Add neovim-coqtail. |
Date: |
Mon, 1 Jan 2024 04:00:13 -0500 (EST) |
efraim pushed a commit to branch master
in repository guix.
commit 3bb1390171fe71ce8786648a5d8e2b4ed142e4ea
Author: Jean-Pierre De Jesus DIAZ <jean@foundationdevices.com>
AuthorDate: Wed Dec 27 16:31:50 2023 +0100
gnu: Add neovim-coqtail.
* gnu/packages/vim.scm (neovim-coqtail): New variable.
Change-Id: I431571925da02788410fc8bf3b1e1aea93bcb1bb
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
---
gnu/packages/vim.scm | 12 ++++++++++++
1 file changed, 12 insertions(+)
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")
- branch master updated (86b5fa1009 -> 3bb1390171), guix-commits, 2024/01/01
- 01/06: gnu: gccgo-12: Fix building with 1 core., guix-commits, 2024/01/01
- 03/06: gnu: Add neovim-vader., guix-commits, 2024/01/01
- 02/06: gnu: vim-vader: Allow using neovim for tests., guix-commits, 2024/01/01
- 04/06: gnu: vim-coqtail: Move vim-full to arguments., guix-commits, 2024/01/01
- 06/06: gnu: Add neovim-coqtail.,
guix-commits <=
- 05/06: gnu: vim-coqtail: Allow using neovim for tests., guix-commits, 2024/01/01