nixsearch / pkg / vimPlugins.coq_nvim / 2025-07-02
vimPlugins.coq_nvim 2025-07-02
Linux and macOS
last changed
Pin this version
$ devbox add vimPlugins.coq_nvim@2025-07-02
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitdab3a6e781554f965bde3def0aa2fda4eb8f1708
$ nix shell github:NixOS/nixpkgs/dab3a6e781554f965bde3def0aa2fda4eb8f1708#vimPlugins.coq_nvim
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
vimPlugins.coq_nvim |
dab3a6e78155 | out/nix/store/aqlblccjzkscd5pkrn52m7j0vqn3yib9-vimplugin-coq_nvim-2025-07-02 |
||
aarch64-linuxLinux · arm64 |
vimPlugins.coq_nvim |
dab3a6e78155 | out/nix/store/ra3nzg2bcksd8m1v3szhgp16v8m7fcf3-vimplugin-coq_nvim-2025-07-02 |
||
x86_64-darwinmacOS · x86-64 |
vimPlugins.coq_nvim |
dab3a6e78155 | out/nix/store/da1b9ykmq3x43xbl8prm71i9g9hnjdvi-vimplugin-coq_nvim-2025-07-02 |
||
x86_64-linuxLinux · x86-64 |
vimPlugins.coq_nvim |
dab3a6e78155 | out/nix/store/rmhjmw30qssilqamqnxiq7iqhwidd4vm-vimplugin-coq_nvim-2025-07-02 |
JSON: /v2/pkg?name=vimPlugins.coq_nvim · /v2/resolve?name=vimPlugins.coq_nvim&version=2025-07-02