summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJean-Pierre De Jesus DIAZ <jean@foundation.xyz>2024-06-03 19:01:48 +0200
committerChristopher Baines <mail@cbaines.net>2024-06-11 11:50:14 +0100
commitec031bbbf136ceb0c6c62c68652ca98f74f86d8b (patch)
tree09ae7cb16ae032d978bd5edaa0640d5d873cc975
parent6531c88cceb77d3603886b4dd8afc6d38b7ef802 (diff)
gnu: vim-coqtail: Update to 1.7.1-1.d77080e.
* gnu/packages/vim.scm (vim-coqtail): Update to 1.7.1-1.d77080e. Change-Id: Ifea28105a394c50a78cc1afaa2fa0217fe0cf39b Signed-off-by: Christopher Baines <mail@cbaines.net>
-rw-r--r--gnu/packages/vim.scm8
1 files changed, 4 insertions, 4 deletions
diff --git a/gnu/packages/vim.scm b/gnu/packages/vim.scm
index d51147fd29..1ab69b9572 100644
--- a/gnu/packages/vim.scm
+++ b/gnu/packages/vim.scm
@@ -455,11 +455,11 @@ trouble using them, because you do not have to remember each snippet name.")
(license license:expat)))) ; ??? check again
(define-public vim-coqtail
- (let ((commit "dfe3939c9caff69d9af76bfd74f1a40fb7dc5609")
- (revision "0"))
+ (let ((commit "d77080e17787afe9ad0366d86327658da36febbb")
+ (revision "1"))
(package
(name "vim-coqtail")
- (version (git-version "1.7.0" revision commit))
+ (version (git-version "1.7.1" revision commit))
(source (origin
(method git-fetch)
(uri (git-reference
@@ -468,7 +468,7 @@ trouble using them, because you do not have to remember each snippet name.")
(file-name (git-file-name name version))
(sha256
(base32
- "0av2m075n6z05ah9ndrgnp9s16yrz6n2lj0igd9fh3c5k41x5xks"))))
+ "03qq50mas5dk3aj1rbv1f0x68rfa9b07cacj12sxp76sda9c0prz"))))
(build-system vim-build-system)
(arguments
`(#:plugin-name "coqtail"