From: Jean-Pierre De Jesus DIAZ <jean@foundation.xyz>
To: 71346@debbugs.gnu.org
Cc: Jean-Pierre De Jesus DIAZ <jean@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 [thread overview]
Message-ID: <37cb2cb52b1a952f1064db1a74786742e0f7664a.1717432980.git.jean@foundation.xyz> (raw)
In-Reply-To: <cover.1717432980.git.jean@foundation.xyz>
* 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
next prev parent reply other threads:[~2024-06-03 17:04 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-06-03 16:46 [bug#71346] [PATCH 0/3] gnu: Update vim-vader and vim-coqtail Jean-Pierre De Jesus DIAZ
2024-06-03 17:01 ` [bug#71346] [PATCH 1/3] gnu: vim-vader: Update to 0.4.0-1.429b669 Jean-Pierre De Jesus DIAZ
2024-06-03 17:01 ` [bug#71346] [PATCH 2/3] gnu: neovim-coqtail: Propagated python-pynvim Jean-Pierre De Jesus DIAZ
2024-06-03 17:01 ` Jean-Pierre De Jesus DIAZ [this message]
2024-06-11 11:42 ` [bug#71346] [PATCH 0/3] gnu: Update vim-vader and vim-coqtail Christopher Baines
2024-06-11 11:57 ` bug#71346: " Jean-Pierre De Jesus Diaz
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=37cb2cb52b1a952f1064db1a74786742e0f7664a.1717432980.git.jean@foundation.xyz \
--to=jean@foundation.xyz \
--cc=71346@debbugs.gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.