nixsearch / pkg / vimPlugins.coq_nvim / 2024-05-27
vimPlugins.coq_nvim 2024-05-27
Linux and macOS
last changed
Pin this version
$ devbox add vimPlugins.coq_nvim@2024-05-27
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit4a3fc4cf736b7d2d288d7a8bf775ac8d4c0920b4
$ nix shell github:NixOS/nixpkgs/4a3fc4cf736b7d2d288d7a8bf775ac8d4c0920b4#vimPlugins.coq_nvim
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
vimPlugins.coq_nvim |
4a3fc4cf736b | out/nix/store/1q56jvg238913ygzn3l1m6ni1wq1d69g-vimplugin-coq_nvim-2024-05-27 |
||
aarch64-linuxLinux · arm64 |
vimPlugins.coq_nvim |
4a3fc4cf736b | out/nix/store/c71k9czv65vvxwxkaxq5q13lpfgv0vnj-vimplugin-coq_nvim-2024-05-27 |
||
x86_64-darwinmacOS · x86-64 |
vimPlugins.coq_nvim |
4a3fc4cf736b | out/nix/store/axsfw3728pp2y5pyb2pv3r8hhhms1b9a-vimplugin-coq_nvim-2024-05-27 |
||
x86_64-linuxLinux · x86-64 |
vimPlugins.coq_nvim |
4a3fc4cf736b | out/nix/store/2c3hld58nw7m2zw2zrgdc23nv1kh52w4-vimplugin-coq_nvim-2024-05-27 |
JSON: /v2/pkg?name=vimPlugins.coq_nvim · /v2/resolve?name=vimPlugins.coq_nvim&version=2024-05-27