nixsearch / pkg / vimPlugins.coq_nvim / 2025-04-13
vimPlugins.coq_nvim 2025-04-13
Linux and macOS
last changed
Pin this version
$ devbox add vimPlugins.coq_nvim@2025-04-13
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitebe4301cbd8f81c4f8d3244b3632338bbeb6d49c
$ nix shell github:NixOS/nixpkgs/ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c#vimPlugins.coq_nvim
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
vimPlugins.coq_nvim |
ebe4301cbd8f | out/nix/store/3hxmslv2kchv5pxidb1wqq5z8iz30mab-vimplugin-coq_nvim-2025-04-13 |
||
aarch64-linuxLinux · arm64 |
vimPlugins.coq_nvim |
ebe4301cbd8f | out/nix/store/8l05izk3n4m6mcf7367drjaxcwyh98xc-vimplugin-coq_nvim-2025-04-13 |
||
x86_64-darwinmacOS · x86-64 |
vimPlugins.coq_nvim |
ebe4301cbd8f | out/nix/store/vf1j63f027px7h917g0ym61jkwpxwsn1-vimplugin-coq_nvim-2025-04-13 |
||
x86_64-linuxLinux · x86-64 |
vimPlugins.coq_nvim |
ebe4301cbd8f | out/nix/store/58ghf1p74yvhlxi9ifj32plxa1ihg0j5-vimplugin-coq_nvim-2025-04-13 |
JSON: /v2/pkg?name=vimPlugins.coq_nvim · /v2/resolve?name=vimPlugins.coq_nvim&version=2025-04-13