summary refs log tree commit diff
path: root/pkgs/misc/vim-plugins/generated.nix
diff options
context:
space:
mode:
authorDavid Terry <me@xwvvvvwx.com>2020-01-17 09:34:26 +0100
committerJon <jonringer@users.noreply.github.com>2020-01-25 22:26:26 -0800
commit4edc5f82369046acbdc93e438f75d3e664f926b0 (patch)
tree72fd453274dd9f3a333ab369689796af070acd45 /pkgs/misc/vim-plugins/generated.nix
parent5b6eba9ee2f62457e07eb913c0bfa6ea7fc2c2e8 (diff)
downloadnixpkgs-4edc5f82369046acbdc93e438f75d3e664f926b0.tar
nixpkgs-4edc5f82369046acbdc93e438f75d3e664f926b0.tar.gz
nixpkgs-4edc5f82369046acbdc93e438f75d3e664f926b0.tar.bz2
nixpkgs-4edc5f82369046acbdc93e438f75d3e664f926b0.tar.lz
nixpkgs-4edc5f82369046acbdc93e438f75d3e664f926b0.tar.xz
nixpkgs-4edc5f82369046acbdc93e438f75d3e664f926b0.tar.zst
nixpkgs-4edc5f82369046acbdc93e438f75d3e664f926b0.zip
vimPlugins.vim-smt2: init at 2018-05-20
Diffstat (limited to 'pkgs/misc/vim-plugins/generated.nix')
-rw-r--r--pkgs/misc/vim-plugins/generated.nix11
1 files changed, 11 insertions, 0 deletions
diff --git a/pkgs/misc/vim-plugins/generated.nix b/pkgs/misc/vim-plugins/generated.nix
index bd829998b5b..56fbe8273ed 100644
--- a/pkgs/misc/vim-plugins/generated.nix
+++ b/pkgs/misc/vim-plugins/generated.nix
@@ -5173,6 +5173,17 @@ let
     };
   };
 
+  vim-smt2 = buildVimPluginFrom2Nix {
+    pname = "vim-smt2";
+    version = "2018-05-20";
+    src = fetchFromGitHub {
+      owner = "bohlender";
+      repo = "vim-smt2";
+      rev = "9582e37b1dfd75621e51a3ac2275b6c6c895317f";
+      sha256 = "0cas6c3pj55qhbcy2vaygg8l9gncjshi1g0a54l78x73d3y3wm03";
+    };
+  };
+
   vim-sneak = buildVimPluginFrom2Nix {
     pname = "vim-sneak";
     version = "2020-01-05";