nixsearch / pkg / vimPlugins.vim-agda / 2023-06-30
vimPlugins.vim-agda 2023-06-30
Linux and macOS
last changed
Pin this version
$ devbox add vimPlugins.vim-agda@2023-06-30
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit1a9df4f74273f90d04e621e8516777efcec2802a
$ nix shell github:NixOS/nixpkgs/1a9df4f74273f90d04e621e8516777efcec2802a#vimPlugins.vim-agda
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
vimPlugins.vim-agda |
1a9df4f74273 | out/nix/store/rg6bpd2xg8z671q01ij9r3szzdh4bk9x-vimplugin-vim-agda-2023-06-30 |
||
aarch64-linuxLinux · arm64 |
vimPlugins.vim-agda |
1a9df4f74273 | out/nix/store/30hxqmzb06yb88l5p3r9mqzl6vcv222s-vimplugin-vim-agda-2023-06-30 |
||
x86_64-darwinmacOS · x86-64 |
vimPlugins.vim-agda |
1a9df4f74273 | out/nix/store/6n3alir1h9h16534k14kxag1ax4sxd32-vimplugin-vim-agda-2023-06-30 |
||
x86_64-linuxLinux · x86-64 |
vimPlugins.vim-agda |
1a9df4f74273 | out/nix/store/w0xpa27pviy2lxx5g83rxnsd1wppsyln-vimplugin-vim-agda-2023-06-30 |
JSON: /v2/pkg?name=vimPlugins.vim-agda · /v2/resolve?name=vimPlugins.vim-agda&version=2023-06-30