GNU bug report logs - #71346
[PATCH 0/3] gnu: Update vim-vader and vim-coqtail

Previous Next

Full log

View this message in rfc822 format

From: Jean-Pierre De Jesus DIAZ <jean <at> foundation.xyz>
To: 71346 <at> debbugs.gnu.org
Cc: Jean-Pierre De Jesus DIAZ <jean <at> foundation.xyz>
Subject: [bug#71346] [PATCH 3/3] gnu: vim-coqtail: Update to 1.7.1-1.d77080e.
Date: Mon,  3 Jun 2024 19:01:48 +0200

* gnu/packages/vim.scm (vim-coqtail): Update to 1.7.1-1.d77080e.
(neovim-coqtail): Ditto.

Change-Id: Ifea28105a394c50a78cc1afaa2fa0217fe0cf39b
---
 gnu/packages/vim.scm | 8 ++++----
 1 file 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 @@ (define-public vim-context-filetype
       (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 @@ (define-public vim-coqtail
                 (file-name (git-file-name name version))
                 (sha256
                  (base32
-                  "0av2m075n6z05ah9ndrgnp9s16yrz6n2lj0igd9fh3c5k41x5xks"))))
+                  "03qq50mas5dk3aj1rbv1f0x68rfa9b07cacj12sxp76sda9c0prz"))))
       (build-system vim-build-system)
       (arguments
        `(#:plugin-name "coqtail"
-- 
2.41.0

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.