nixsearch / pkg / vimPlugins.vim-loves-dafny / 0-unstable-2018-09-25
vimPlugins.vim-loves-dafny 0-unstable-2018-09-25
Linux and macOS
last changed
Pin this version
$ devbox add vimPlugins.vim-loves-dafny@0-unstable-2018-09-25
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#vimPlugins.vim-loves-dafny
$ nix shell github:NixOS/nixpkgs/05988b07fb05cbcb50be6bce197b4b5f75b5e61b#vimPlugins.vim-loves-dafny
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
vimPlugins.vim-loves-dafny |
b6c8664de9b6 | out/nix/store/4k8yimrlkm77j26bl436850vz2540b2n-vimplugin-vim-loves-dafny-0-unstable-2018-09-25 |
||
aarch64-linuxLinux · arm64 |
vimPlugins.vim-loves-dafny |
b6c8664de9b6 | out/nix/store/ww0rd1zk53a36jzabgzbh9sd37fr6zk2-vimplugin-vim-loves-dafny-0-unstable-2018-09-25 |
||
x86_64-darwinmacOS · x86-64 |
vimPlugins.vim-loves-dafny |
05988b07fb05 | out/nix/store/pswygdkd5pn52xqfx7v8lvc7r0awz7kh-vimplugin-vim-loves-dafny-0-unstable-2018-09-25 |
||
x86_64-linuxLinux · x86-64 |
vimPlugins.vim-loves-dafny |
b6c8664de9b6 | out/nix/store/k7a25gmqy6kndw7c0h62mkw43xjn0nvh-vimplugin-vim-loves-dafny-0-unstable-2018-09-25 |
JSON: /v2/pkg?name=vimPlugins.vim-loves-dafny · /v2/resolve?name=vimPlugins.vim-loves-dafny&version=0-unstable-2018-09-25