JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #135641 from zhaofengli/vim-loves-dafny

Browse Source
This commit is contained in:
Sandro 2021-09-12 17:25:17 +02:00 committed by GitHub
commit df28fb7f00
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pkgs/misc/vim-plugins/generated.nix
View File

@ -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";

1
pkgs/misc/vim-plugins/vim-plugin-names
View File

@ -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