diff options
author | David Terry <me@xwvvvvwx.com> | 2020-01-17 09:34:26 +0100 |
---|---|---|
committer | Jon <jonringer@users.noreply.github.com> | 2020-01-25 22:26:26 -0800 |
commit | 4edc5f82369046acbdc93e438f75d3e664f926b0 (patch) | |
tree | 72fd453274dd9f3a333ab369689796af070acd45 /pkgs/misc/vim-plugins/generated.nix | |
parent | 5b6eba9ee2f62457e07eb913c0bfa6ea7fc2c2e8 (diff) | |
download | nixpkgs-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.nix | 11 |
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"; |