nixsearch / pkg / vimPlugins.lean-vim / 2020-10-10
vimPlugins.lean-vim 2020-10-10
Linux
last changed
Pin this version
$ devbox add vimPlugins.lean-vim@2020-10-10
$ nix shell github:NixOS/nixpkgs/38bff9a5ed24607b7ea30cc6e455dfe67881f1e4#vimPlugins.lean-vim
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
x86_64-linuxLinux · x86-64 |
vimPlugins.lean-vim |
38bff9a5ed24 |
JSON: /v2/pkg?name=vimPlugins.lean-vim · /v2/resolve?name=vimPlugins.lean-vim&version=2020-10-10