nixsearch / pkg / vimPlugins.agda-vim / 0-unstable-2021-10-28
vimPlugins.agda-vim 0-unstable-2021-10-28
Linux and macOS
last changed
Pin this version
$ devbox add vimPlugins.agda-vim@0-unstable-2021-10-28
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#vimPlugins.agda-vim
$ nix shell github:NixOS/nixpkgs/05988b07fb05cbcb50be6bce197b4b5f75b5e61b#vimPlugins.agda-vim
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
vimPlugins.agda-vim |
b6c8664de9b6 | out/nix/store/x0wai3m0w37xkvkadz31hdplbhs8s6s8-vimplugin-agda-vim-0-unstable-2021-10-28 |
||
aarch64-linuxLinux · arm64 |
vimPlugins.agda-vim |
b6c8664de9b6 | out/nix/store/i0i1ynaymrpsd40s3g392afyh9vgd9gs-vimplugin-agda-vim-0-unstable-2021-10-28 |
||
x86_64-darwinmacOS · x86-64 |
vimPlugins.agda-vim |
05988b07fb05 | out/nix/store/vn8iiax3vsyb9fk0iaisgkqaxlzhw49i-vimplugin-agda-vim-0-unstable-2021-10-28 |
||
x86_64-linuxLinux · x86-64 |
vimPlugins.agda-vim |
b6c8664de9b6 | out/nix/store/f08403vynm865mcni4jzycqnvq4pl489-vimplugin-agda-vim-0-unstable-2021-10-28 |
JSON: /v2/pkg?name=vimPlugins.agda-vim · /v2/resolve?name=vimPlugins.agda-vim&version=0-unstable-2021-10-28