nixsearch / pkg / vimPlugins.coq_nvim / 2025-07-25
vimPlugins.coq_nvim 2025-07-25
Linux and macOS
last changed
Pin this version
$ devbox add vimPlugins.coq_nvim@2025-07-25
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitf4b140d5b253f5e2a1ff4e5506edbf8267724bde
$ nix shell github:NixOS/nixpkgs/f4b140d5b253f5e2a1ff4e5506edbf8267724bde#vimPlugins.coq_nvim
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
vimPlugins.coq_nvim |
f4b140d5b253 | out/nix/store/n9mg6r3yc97agzgs4xrfxcj74hcwrhnf-vimplugin-coq_nvim-2025-07-25 |
||
aarch64-linuxLinux · arm64 |
vimPlugins.coq_nvim |
f4b140d5b253 | out/nix/store/85xigj4vqya2cgammwljn1llafwrmzyp-vimplugin-coq_nvim-2025-07-25 |
||
x86_64-darwinmacOS · x86-64 |
vimPlugins.coq_nvim |
f4b140d5b253 | out/nix/store/0095p30dpmjaazf65f4kksx9h7vam5p6-vimplugin-coq_nvim-2025-07-25 |
||
x86_64-linuxLinux · x86-64 |
vimPlugins.coq_nvim |
f4b140d5b253 | out/nix/store/cqkkihyy0q769914divdp6vk0lpj8zf5-vimplugin-coq_nvim-2025-07-25 |
JSON: /v2/pkg?name=vimPlugins.coq_nvim · /v2/resolve?name=vimPlugins.coq_nvim&version=2025-07-25