nixsearch / pkg / vimPlugins.coq_nvim / 0-unstable-2026-06-29
vimPlugins.coq_nvim 0-unstable-2026-06-29
Linux and macOS
last changed
Pin this version
$ devbox add vimPlugins.coq_nvim@0-unstable-2026-06-29
$ nix shell github:NixOS/nixpkgs/389ed85304b281ca7f306cf8a1eb4378651ca44e#vimPlugins.coq_nvim
$ nix shell github:NixOS/nixpkgs/05988b07fb05cbcb50be6bce197b4b5f75b5e61b#vimPlugins.coq_nvim
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
vimPlugins.coq_nvim |
389ed85304b2 | out/nix/store/nxc6pwqc6jik50iigc2ql54287zv3q85-vimplugin-coq_nvim-0-unstable-2026-06-29 |
||
aarch64-linuxLinux · arm64 |
vimPlugins.coq_nvim |
389ed85304b2 | out/nix/store/kqsky8gl4d3jla53qzb4p54cv8jmymk6-vimplugin-coq_nvim-0-unstable-2026-06-29 |
||
x86_64-darwinmacOS · x86-64 |
vimPlugins.coq_nvim |
05988b07fb05 | out/nix/store/z5vwlzsxwmqaczz1gcsak23clmix7pqz-vimplugin-coq_nvim-0-unstable-2026-06-29 |
||
x86_64-linuxLinux · x86-64 |
vimPlugins.coq_nvim |
389ed85304b2 | out/nix/store/8msz82lg4w851f9jn0cxgpbhvgq3dxpv-vimplugin-coq_nvim-0-unstable-2026-06-29 |
JSON: /v2/pkg?name=vimPlugins.coq_nvim · /v2/resolve?name=vimPlugins.coq_nvim&version=0-unstable-2026-06-29