nixsearch / pkg / vimPlugins.lean-vim

vimPlugins.lean-vim

github.com vimPlugins.lean-vim 8 releases newest changed 10 months ago

version0-unstable-2021-09-29 attributevimPlugins.lean-vim rev

aarch64-darwin 34ca302a9572963c02e385c056be37c85ff51b77 2026-09-24

aarch64-linux 34ca302a9572963c02e385c056be37c85ff51b77 2026-09-24

x86_64-darwin 05988b07fb05cbcb50be6bce197b4b5f75b5e61b 2026-07-08

x86_64-linux 34ca302a9572963c02e385c056be37c85ff51b77 2026-09-24

systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux

$ devbox add vimPlugins.lean-vim@0-unstable-2021-09-29

$ nix shell github:NixOS/nixpkgs/34ca302a9572963c02e385c056be37c85ff51b77#vimPlugins.lean-vim  # aarch64-darwin

$ nix shell github:NixOS/nixpkgs/34ca302a9572963c02e385c056be37c85ff51b77#vimPlugins.lean-vim  # aarch64-linux

$ nix shell github:NixOS/nixpkgs/05988b07fb05cbcb50be6bce197b4b5f75b5e61b#vimPlugins.lean-vim  # x86_64-darwin

$ nix shell github:NixOS/nixpkgs/34ca302a9572963c02e385c056be37c85ff51b77#vimPlugins.lean-vim  # x86_64-linux

JSON: /v2/resolve?name=vimPlugins.lean-vim&version=latest

Releases

newest first, as /v2/pkg orders them

Version	arm mac	arm linux	x86 mac	x86 linux	Attribute	Commit	Date
2021-09-29	✓	✓	✓	✓	`vimPlugins.lean-vim`	ee09932ced	2025-11-23
2021-06-07	✓	–	✓	✓	`vimPlugins.lean-vim`	b5182c214f	2021-09-26
2021-06-04	–	–	✓	✓	`vimPlugins.lean-vim`	4df3175780	2021-06-06
2021-01-02	–	–	✓	✓	`vimPlugins.lean-vim`	varies	2021-06-02
2020-11-01	–	–	–	✓	`vimPlugins.lean-vim`	f6e519f39e	2021-01-04
2020-10-10	–	–	–	✓	`vimPlugins.lean-vim`	38bff9a5ed	2020-10-29
2019-10-04	–	–	–	✓	`vimPlugins.lean-vim`	7ad5e816fa	2020-10-25
0-unstable-2021-09-29resolved	✓	✓	✓	✓	`vimPlugins.lean-vim`	varies	2026-09-13

Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.