Added new vim plugin: Coq nvim (#155421)

This commit is contained in:
Tom Hotston 2022-01-23 03:17:08 +00:00 committed by GitHub
parent 4543a25471
commit b9e9910c01
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 13 additions and 0 deletions

View file

@ -1156,6 +1156,18 @@ final: prev:
meta.homepage = "https://github.com/jvoorhis/coq.vim/";
};
coq_nvim = buildVimPluginFrom2Nix {
pname = "coq_nvim";
version = "2022-01-17";
src = fetchFromGitHub {
owner = "ms-jpq";
repo = "coq_nvim";
rev = "9546c14f6664df71b9427b38fcebb7800b69799e";
sha256 = "0nr2w65mirbrpr7iyimwjq7l5vyi4qr46ncic3whwlmyi2amkrjk";
};
meta.homepage = "https://github.com/ms-jpq/coq_nvim/";
};
Coqtail = buildVimPluginFrom2Nix {
pname = "Coqtail";
version = "2022-01-21";

View file

@ -501,6 +501,7 @@ morhetz/gruvbox
motus/pig.vim
mpickering/hlint-refactor-vim
ms-jpq/chadtree@chad
ms-jpq/coq_nvim
mtikekar/vim-bsv
MunifTanjim/nui.nvim@main
mustache/vim-mustache-handlebars