nixsearch / pkg / vimPlugins.coq_nvim / 2023-08-12
vimPlugins.coq_nvim 2023-08-12
Linux and macOS
last changed
Pin this version
$ devbox add vimPlugins.coq_nvim@2023-08-12
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit750fc50bfd132a44972aa15bb21937ae26303bc4
$ nix shell github:NixOS/nixpkgs/750fc50bfd132a44972aa15bb21937ae26303bc4#vimPlugins.coq_nvim
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
vimPlugins.coq_nvim |
750fc50bfd13 | out/nix/store/sa98k4f85n4jpfs9i60g0q6gpjfcsdxc-vimplugin-coq_nvim-2023-08-12 |
||
aarch64-linuxLinux · arm64 |
vimPlugins.coq_nvim |
750fc50bfd13 | out/nix/store/1zkmbpwdj2bsb281j1dcixdrhyszqzp9-vimplugin-coq_nvim-2023-08-12 |
||
x86_64-darwinmacOS · x86-64 |
vimPlugins.coq_nvim |
750fc50bfd13 | out/nix/store/3ill6vff1fv9czclsbv5khz4f2vwjh8d-vimplugin-coq_nvim-2023-08-12 |
||
x86_64-linuxLinux · x86-64 |
vimPlugins.coq_nvim |
750fc50bfd13 | out/nix/store/vfqfi5j8dqg3583jab3sc84c2rq650by-vimplugin-coq_nvim-2023-08-12 |
JSON: /v2/pkg?name=vimPlugins.coq_nvim · /v2/resolve?name=vimPlugins.coq_nvim&version=2023-08-12