nixsearch
nixsearch / pkg / vimPlugins.coq_nvim / 2023-05-18

vimPlugins.coq_nvim 2023-05-18

Linux and macOS last changed

Pin this version

$ devbox add vimPlugins.coq_nvim@2023-05-18
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit85340996ba67cc02f01ba324e18b1306892ed6f5 
$ nix shell github:NixOS/nixpkgs/85340996ba67cc02f01ba324e18b1306892ed6f5#vimPlugins.coq_nvim

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 vimPlugins.coq_nvim 85340996ba67
out
/nix/store/9rk9lcwbbbfvghwsrpmj3h6f4s9ba6vd-vimplugin-coq_nvim-2023-05-18
aarch64-linux
Linux · arm64		 vimPlugins.coq_nvim 85340996ba67
out
/nix/store/bk86js4x5ib8czklyrak9pip03v2qdnk-vimplugin-coq_nvim-2023-05-18
x86_64-darwin
macOS · x86-64		 vimPlugins.coq_nvim 85340996ba67
out
/nix/store/9n3ryqxrilv9fx0fs5xd8piblf2s5cjw-vimplugin-coq_nvim-2023-05-18
x86_64-linux
Linux · x86-64		 vimPlugins.coq_nvim 85340996ba67
out
/nix/store/1c5hmsrpqwakkj5p6ia5r30k651f7jfq-vimplugin-coq_nvim-2023-05-18
← newer: 2023-05-21 all 179 releases older: 2023-05-07 →

JSON: /v2/pkg?name=vimPlugins.coq_nvim · /v2/resolve?name=vimPlugins.coq_nvim&version=2023-05-18