nixsearch / pkg / vimPlugins.vim-loves-dafny / 2018-09-25
vimPlugins.vim-loves-dafny 2018-09-25
Linux and macOS
last changed
Pin this version
$ devbox add vimPlugins.vim-loves-dafny@2018-09-25
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitee09932cedcef15aaf476f9343d1dea2cb77e261
$ nix shell github:NixOS/nixpkgs/ee09932cedcef15aaf476f9343d1dea2cb77e261#vimPlugins.vim-loves-dafny
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
vimPlugins.vim-loves-dafny |
ee09932cedce | out/nix/store/n28y6bv92z7g5mvd5c0xxpazhvzdgcsd-vimplugin-vim-loves-dafny-2018-09-25 |
||
aarch64-linuxLinux · arm64 |
vimPlugins.vim-loves-dafny |
ee09932cedce | out/nix/store/lg8wn9fkm0lxhrb6knn3hrrqdqw22cdk-vimplugin-vim-loves-dafny-2018-09-25 |
||
x86_64-darwinmacOS · x86-64 |
vimPlugins.vim-loves-dafny |
ee09932cedce | out/nix/store/pwyr9aj2f8rjmvyvkymbaw9fsgdixwmd-vimplugin-vim-loves-dafny-2018-09-25 |
||
x86_64-linuxLinux · x86-64 |
vimPlugins.vim-loves-dafny |
ee09932cedce | out/nix/store/dvayb1c3m57577dvwsbva4axvxp7i0v8-vimplugin-vim-loves-dafny-2018-09-25 |
JSON: /v2/pkg?name=vimPlugins.vim-loves-dafny · /v2/resolve?name=vimPlugins.vim-loves-dafny&version=2018-09-25