diff options
author | Nathan van Doorn <nvd1234@gmail.com> | 2019-11-07 18:46:35 +0000 |
---|---|---|
committer | Jon <jonringer@users.noreply.github.com> | 2019-11-07 11:18:05 -0800 |
commit | 31315ec730db037d3e558ced42959b26ed557432 (patch) | |
tree | 62b647ce4202d166478f04754bfbc4a0c0239ded /pkgs/misc/vim-plugins/generated.nix | |
parent | 060f3125fcf34c116e50f98ec12c1f813043050c (diff) | |
download | nixpkgs-31315ec730db037d3e558ced42959b26ed557432.tar nixpkgs-31315ec730db037d3e558ced42959b26ed557432.tar.gz nixpkgs-31315ec730db037d3e558ced42959b26ed557432.tar.bz2 nixpkgs-31315ec730db037d3e558ced42959b26ed557432.tar.lz nixpkgs-31315ec730db037d3e558ced42959b26ed557432.tar.xz nixpkgs-31315ec730db037d3e558ced42959b26ed557432.tar.zst nixpkgs-31315ec730db037d3e558ced42959b26ed557432.zip |
vimPlugins.vim-metamath: init at 2017-02-10
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 bcb15c39304..1eb8ede88df 100644 --- a/pkgs/misc/vim-plugins/generated.nix +++ b/pkgs/misc/vim-plugins/generated.nix @@ -4293,6 +4293,17 @@ let }; }; + vim-metamath = buildVimPluginFrom2Nix { + pname = "vim-metamath"; + version = "2017-02-10"; + src = fetchFromGitHub { + owner = "david-a-wheeler"; + repo = "vim-metamath"; + rev = "50aff63608256909159f1b8fc3f09ba61b2bb9bd"; + sha256 = "0gwqafhr18wv9ygq47cxwi0k4gj1xll4z8s61w9l9vwaiy5znssh"; + }; + }; + vim-misc = buildVimPluginFrom2Nix { pname = "vim-misc"; version = "2015-05-21"; |