From 18f22d8d51e1623fa9938c7dc3476af8ba08f0c0 Mon Sep 17 00:00:00 2001 From: Zhaofeng Li Date: Thu, 19 Aug 2021 14:34:21 -0700 Subject: vimPlugins.vim-loves-dafny: init at 2018-09-25 --- pkgs/misc/vim-plugins/generated.nix | 12 ++++++++++++ pkgs/misc/vim-plugins/vim-plugin-names | 1 + 2 files changed, 13 insertions(+) (limited to 'pkgs') diff --git a/pkgs/misc/vim-plugins/generated.nix b/pkgs/misc/vim-plugins/generated.nix index b607ff0142348..76a76fda3b130 100644 --- a/pkgs/misc/vim-plugins/generated.nix +++ b/pkgs/misc/vim-plugins/generated.nix @@ -7998,6 +7998,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 e0028c854782b..497149e85ff59 100644 --- a/pkgs/misc/vim-plugins/vim-plugin-names +++ b/pkgs/misc/vim-plugins/vim-plugin-names @@ -441,6 +441,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 -- cgit 1.4.1