nixsearch / pkg / vimPlugins.coq_nvim / 2023-05-21
vimPlugins.coq_nvim 2023-05-21
Linux and macOS
last changed
Pin this version
$ devbox add vimPlugins.coq_nvim@2023-05-21
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit30b82a186bc585872624a298a5169d1d237ce6a4
$ nix shell github:NixOS/nixpkgs/30b82a186bc585872624a298a5169d1d237ce6a4#vimPlugins.coq_nvim
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
vimPlugins.coq_nvim |
30b82a186bc5 | out/nix/store/7d3svfwnmpgwys1hljdbwxmvf5aclynk-vimplugin-coq_nvim-2023-05-21 |
||
aarch64-linuxLinux · arm64 |
vimPlugins.coq_nvim |
30b82a186bc5 | out/nix/store/g8p5w11pjmhy9yhkaqarnmac01l19zz8-vimplugin-coq_nvim-2023-05-21 |
||
x86_64-darwinmacOS · x86-64 |
vimPlugins.coq_nvim |
30b82a186bc5 | out/nix/store/jp0bjw79g27qx4pl3b64252vrjjgzi8c-vimplugin-coq_nvim-2023-05-21 |
||
x86_64-linuxLinux · x86-64 |
vimPlugins.coq_nvim |
30b82a186bc5 | out/nix/store/g1swwi9jzqb1dy41ryzd73jw7l3pj5g2-vimplugin-coq_nvim-2023-05-21 |
JSON: /v2/pkg?name=vimPlugins.coq_nvim · /v2/resolve?name=vimPlugins.coq_nvim&version=2023-05-21