diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2021-09-12 17:25:17 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-12 17:25:17 +0200 |
commit | df28fb7f00cf5d1e562bfa5e19b522ee73c28a5d (patch) | |
tree | 531c9cd80271bc68a6ec9fa4f66ba8d0baca7fc2 /pkgs | |
parent | 76b2353e40663ba968b1fa23d6ec41f6c17baf42 (diff) | |
parent | 18f22d8d51e1623fa9938c7dc3476af8ba08f0c0 (diff) |
Merge pull request #135641 from zhaofengli/vim-loves-dafny
Diffstat (limited to 'pkgs')
-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 c1050f394805a..5c71669fc765c 100644 --- a/pkgs/misc/vim-plugins/generated.nix +++ b/pkgs/misc/vim-plugins/generated.nix @@ -8153,6 +8153,18 @@ final: prev: meta.homepage = "https://github.com/andreshazard/vim-logreview/"; }; + vim-loves-dafny = buildVimPluginFrom2Nix { + pname = "vim-loves-dafny"; + version = "2018-09-25"; + src = fetchFromGitHub { + owner = "mlr-msft"; + repo = "vim-loves-dafny"; + rev = "d75d3b074a3da2b0fa9fd5bc980f52ec82c2ad7b"; + sha256 = "170dc38mrakfma30r8z9zaxfn8d5ghrvnlglq6l60yn8fg7njxks"; + }; + meta.homepage = "https://github.com/mlr-msft/vim-loves-dafny/"; + }; + vim-lsc = buildVimPluginFrom2Nix { pname = "vim-lsc"; version = "2021-04-28"; diff --git a/pkgs/misc/vim-plugins/vim-plugin-names b/pkgs/misc/vim-plugins/vim-plugin-names index dbf82db2ec9bb..009eb90c9e20c 100644 --- a/pkgs/misc/vim-plugins/vim-plugin-names +++ b/pkgs/misc/vim-plugins/vim-plugin-names @@ -447,6 +447,7 @@ milkypostman/vim-togglelist mindriot101/vim-yapf mk12/vim-lean mkasa/lushtags +mlr-msft/vim-loves-dafny moll/vim-bbye mopp/sky-color-clock.vim morhetz/gruvbox |