diff options
| author | "David Terry" <"me@xwvvvvwx.com"> | 2021-01-07 23:29:18 +0100 |
|---|---|---|
| committer | "David Terry" <"me@xwvvvvwx.com"> | 2021-01-07 23:29:18 +0100 |
| commit | 77e3b42285b20b6284609ae6b1f54ea25492a97b (patch) | |
| tree | d591f5ff77c54dab8df6e1e3bece3978e07b70ab /pkgs/misc | |
| parent | 245e149a4510a49fb0d270e87a3655818ff34bd9 (diff) | |
vimPlugins.coq-vim: init at 2013-01-16
Diffstat (limited to 'pkgs/misc')
| -rw-r--r-- | pkgs/misc/vim-plugins/generated.nix | 12 | ||||
| -rw-r--r-- | pkgs/misc/vim-plugins/vim-plugin-names | 1 |
2 files changed, 13 insertions, 0 deletions
diff --git a/pkgs/misc/vim-plugins/generated.nix b/pkgs/misc/vim-plugins/generated.nix index 7f844838102dc..e6b74c3d07daa 100644 --- a/pkgs/misc/vim-plugins/generated.nix +++ b/pkgs/misc/vim-plugins/generated.nix @@ -652,6 +652,18 @@ let 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 { pname = "Coqtail"; version = "2021-01-03"; diff --git a/pkgs/misc/vim-plugins/vim-plugin-names b/pkgs/misc/vim-plugins/vim-plugin-names index 237f7faacf305..27b86f03565ce 100644 --- a/pkgs/misc/vim-plugins/vim-plugin-names +++ b/pkgs/misc/vim-plugins/vim-plugin-names @@ -230,6 +230,7 @@ justincampbell/vim-eighties justinj/vim-pico8-syntax justinmk/vim-dirvish justinmk/vim-sneak +jvoorhis/coq.vim KabbAmine/vCoolor.vim KabbAmine/zeavim.vim kalbasit/vim-colemak |