nixsearch / pkg / vimPlugins.coq_nvim / 2025-03-24
vimPlugins.coq_nvim 2025-03-24
Linux and macOS
last changed
Pin this version
$ devbox add vimPlugins.coq_nvim@2025-03-24
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commiteb0e0f21f15c559d2ac7633dc81d079d1caf5f5f
$ nix shell github:NixOS/nixpkgs/eb0e0f21f15c559d2ac7633dc81d079d1caf5f5f#vimPlugins.coq_nvim
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
vimPlugins.coq_nvim |
eb0e0f21f15c | out/nix/store/qxm31zm2lha4w4sppb6bhd94kc58rh7f-vimplugin-coq_nvim-2025-03-24 |
||
aarch64-linuxLinux · arm64 |
vimPlugins.coq_nvim |
eb0e0f21f15c | out/nix/store/nb0gfx74pb7jrvpxsqf3yd4bhq1w3g69-vimplugin-coq_nvim-2025-03-24 |
||
x86_64-darwinmacOS · x86-64 |
vimPlugins.coq_nvim |
eb0e0f21f15c | out/nix/store/1365813lx06psgykdg395xjdqmqswdrj-vimplugin-coq_nvim-2025-03-24 |
||
x86_64-linuxLinux · x86-64 |
vimPlugins.coq_nvim |
eb0e0f21f15c | out/nix/store/v21dxn29dj0pk9zy1fisd64a1189rb14-vimplugin-coq_nvim-2025-03-24 |
JSON: /v2/pkg?name=vimPlugins.coq_nvim · /v2/resolve?name=vimPlugins.coq_nvim&version=2025-03-24