nixsearch / pkg / vimPlugins.agda-vim
vimPlugins.agda-vim
version0-unstable-2021-10-28
attributevimPlugins.agda-vim
rev
systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux
aarch64-darwin f45c6f04c2f013f004bf94e284e95d72898d9393 aarch64-linux f45c6f04c2f013f004bf94e284e95d72898d9393 x86_64-darwin 05988b07fb05cbcb50be6bce197b4b5f75b5e61b x86_64-linux f45c6f04c2f013f004bf94e284e95d72898d9393 $ devbox add vimPlugins.agda-vim@0-unstable-2021-10-28
$ nix shell github:NixOS/nixpkgs/f45c6f04c2f013f004bf94e284e95d72898d9393#vimPlugins.agda-vim # aarch64-darwin
$ nix shell github:NixOS/nixpkgs/f45c6f04c2f013f004bf94e284e95d72898d9393#vimPlugins.agda-vim # aarch64-linux
$ nix shell github:NixOS/nixpkgs/05988b07fb05cbcb50be6bce197b4b5f75b5e61b#vimPlugins.agda-vim # x86_64-darwin
$ nix shell github:NixOS/nixpkgs/f45c6f04c2f013f004bf94e284e95d72898d9393#vimPlugins.agda-vim # x86_64-linux
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 2021-10-28 | ✓ | ✓ | ✓ | ✓ | vimPlugins.agda-vim |
ee09932ced | ||
| 2021-10-02 | ✓ | – | ✓ | ✓ | vimPlugins.agda-vim |
481afad265 | ||
| 2020-11-23 | ✓ | – | ✓ | ✓ | vimPlugins.agda-vim |
b5182c214f | ||
| 2020-07-26 | – | – | – | ✓ | vimPlugins.agda-vim |
272744825d | ||
| 2020-04-06 | – | – | – | ✓ | vimPlugins.agda-vim |
2b7c0dcdaa | ||
| 0-unstable-2021-10-28resolved | ✓ | ✓ | ✓ | ✓ | vimPlugins.agda-vim |
varies |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.