nixsearch / pkg / vimPlugins.coq_nvim / 0-unstable-2026-09-19
vimPlugins.coq_nvim 0-unstable-2026-09-19
Linux and macOS (Apple Silicon only)
last changed
Pin this version
$ devbox add vimPlugins.coq_nvim@0-unstable-2026-09-19
$ nix shell github:NixOS/nixpkgs/b6c98e9e6633ee64753b594ff4a5febf0367fc00#vimPlugins.coq_nvim
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
vimPlugins.coq_nvim |
b6c98e9e6633 | out/nix/store/y63bih4bxgxi887ys5s493wrhwqfk798-vimplugin-coq_nvim-0-unstable-2026-09-19 |
||
aarch64-linuxLinux · arm64 |
vimPlugins.coq_nvim |
b6c98e9e6633 | out/nix/store/8x4r6i4ac5sai2h5yra52b4xxfxnsv09-vimplugin-coq_nvim-0-unstable-2026-09-19 |
||
x86_64-linuxLinux · x86-64 |
vimPlugins.coq_nvim |
b6c98e9e6633 | out/nix/store/rnz0jcq2ar32fximisgrw1aqkp82jqla-vimplugin-coq_nvim-0-unstable-2026-09-19 |
JSON: /v2/pkg?name=vimPlugins.coq_nvim · /v2/resolve?name=vimPlugins.coq_nvim&version=0-unstable-2026-09-19