nixsearch / pkg / vimPlugins.coq_nvim / 0-unstable-2026-08-23
vimPlugins.coq_nvim 0-unstable-2026-08-23
Linux and macOS (Apple Silicon only)
last changed
Pin this version
$ devbox add vimPlugins.coq_nvim@0-unstable-2026-08-23
$ nix shell github:NixOS/nixpkgs/c27cdad491a991b11ed731760aa2ef8db0cb0410#vimPlugins.coq_nvim
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
vimPlugins.coq_nvim |
c27cdad491a9 | out/nix/store/znrgrwv0r6qv72zppf966frizam66vab-vimplugin-coq_nvim-0-unstable-2026-08-23 |
||
aarch64-linuxLinux · arm64 |
vimPlugins.coq_nvim |
c27cdad491a9 | out/nix/store/7q6x3vcr6qv7bsin8pcnq8arz2n468j9-vimplugin-coq_nvim-0-unstable-2026-08-23 |
||
x86_64-linuxLinux · x86-64 |
vimPlugins.coq_nvim |
c27cdad491a9 | out/nix/store/ambpzcgvkay6xpxrrihj72q6j636nzrz-vimplugin-coq_nvim-0-unstable-2026-08-23 |
JSON: /v2/pkg?name=vimPlugins.coq_nvim · /v2/resolve?name=vimPlugins.coq_nvim&version=0-unstable-2026-08-23