vimPlugins: add missing dependencies (#359307)master
[NixPkgs.git] / pkgs / by-name / le / lean / 
treef7572488be7ae8456aa598c40137d011df44e04c
drwxr-xr-x   ..
-rw-r--r-- 1909 package.nix