nixsearch / pkg / vimPlugins.coq_nvim / 0-unstable-2026-07-12
vimPlugins.coq_nvim 0-unstable-2026-07-12
Linux and macOS (Apple Silicon only)
last changed
Pin this version
$ devbox add vimPlugins.coq_nvim@0-unstable-2026-07-12
$ nix shell github:NixOS/nixpkgs/3889d66586e664adc76aa5c242331d3d71786187#vimPlugins.coq_nvim
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
vimPlugins.coq_nvim |
3889d66586e6 | out/nix/store/0lhnawkkha3wnwf82idyxah8ji7z6iwp-vimplugin-coq_nvim-0-unstable-2026-07-12 |
||
aarch64-linuxLinux · arm64 |
vimPlugins.coq_nvim |
3889d66586e6 | out/nix/store/qkwiv5w2wi3ryl402ja79nhrxzgnn489-vimplugin-coq_nvim-0-unstable-2026-07-12 |
||
x86_64-linuxLinux · x86-64 |
vimPlugins.coq_nvim |
3889d66586e6 | out/nix/store/kaww79agmbbms8wfpg50p3v2q3mrk4il-vimplugin-coq_nvim-0-unstable-2026-07-12 |
JSON: /v2/pkg?name=vimPlugins.coq_nvim · /v2/resolve?name=vimPlugins.coq_nvim&version=0-unstable-2026-07-12