public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

vimPlugins.coq-vim: init at 2013-01-16

This commit is contained in:
"David Terry" 2021-01-07 23:29:18 +01:00
parent 245e149a45
commit 77e3b42285
2 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pkgs/misc/vim-plugins/generated.nix
View File

@ -652,6 +652,18 @@ let
meta.homepage = "https://github.com/Shougo/context_filetype.vim/"; meta.homepage = "https://github.com/Shougo/context_filetype.vim/";
}; };
coq-vim = buildVimPluginFrom2Nix {
pname = "coq-vim";
version = "2013-01-16";
src = fetchFromGitHub {
owner = "jvoorhis";
repo = "coq.vim";
rev = "9b229f5872854dadfb8ba4b67a6a273f37eca4b8";
sha256 = "0hpfwcm8lvv831b7i27lw72nqxfy7jymq6a6g3xmf0ycb0l3pnky";
};
meta.homepage = "https://github.com/jvoorhis/coq.vim/";
};
Coqtail = buildVimPluginFrom2Nix { Coqtail = buildVimPluginFrom2Nix {
pname = "Coqtail"; pname = "Coqtail";
version = "2021-01-03"; version = "2021-01-03";

1
pkgs/misc/vim-plugins/vim-plugin-names
View File

@ -230,6 +230,7 @@ justincampbell/vim-eighties
justinj/vim-pico8-syntax justinj/vim-pico8-syntax
justinmk/vim-dirvish justinmk/vim-dirvish
justinmk/vim-sneak justinmk/vim-sneak
jvoorhis/coq.vim
KabbAmine/vCoolor.vim KabbAmine/vCoolor.vim
KabbAmine/zeavim.vim KabbAmine/zeavim.vim
kalbasit/vim-colemak kalbasit/vim-colemak