nixsearch / pkg / vimPlugins.coq_nvim / 2025-06-07
vimPlugins.coq_nvim 2025-06-07
Linux and macOS
last changed
Pin this version
$ devbox add vimPlugins.coq_nvim@2025-06-07
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit076e8c6678d8c54204abcb4b1b14c366835a58bb
$ nix shell github:NixOS/nixpkgs/076e8c6678d8c54204abcb4b1b14c366835a58bb#vimPlugins.coq_nvim
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
vimPlugins.coq_nvim |
076e8c6678d8 | out/nix/store/gw403nf2baaah9dmbmjvgkyb6g8ddgq8-vimplugin-coq_nvim-2025-06-07 |
||
aarch64-linuxLinux · arm64 |
vimPlugins.coq_nvim |
076e8c6678d8 | out/nix/store/83prx9hr5fi69jl536hgibzf4x0jxhjx-vimplugin-coq_nvim-2025-06-07 |
||
x86_64-darwinmacOS · x86-64 |
vimPlugins.coq_nvim |
076e8c6678d8 | out/nix/store/blvya8plyip0wnjaccbfdarwmyq59zdn-vimplugin-coq_nvim-2025-06-07 |
||
x86_64-linuxLinux · x86-64 |
vimPlugins.coq_nvim |
076e8c6678d8 | out/nix/store/jh7g55ccadigydcv6j97wjbfshfhx8gr-vimplugin-coq_nvim-2025-06-07 |
JSON: /v2/pkg?name=vimPlugins.coq_nvim · /v2/resolve?name=vimPlugins.coq_nvim&version=2025-06-07