nixsearch
nixsearch / pkg / vimPlugins.coq_nvim / 2023-01-22

vimPlugins.coq_nvim 2023-01-22

Linux and macOS last changed

Pin this version

$ devbox add vimPlugins.coq_nvim@2023-01-22
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commitf32319e7ba8f03ea2f1c66a5ffe43b4e771108f5 
$ nix shell github:NixOS/nixpkgs/f32319e7ba8f03ea2f1c66a5ffe43b4e771108f5#vimPlugins.coq_nvim

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 vimPlugins.coq_nvim f32319e7ba8f
out
/nix/store/n3fqgwzq10rqxw4pyr2nbsjwf27nm3i8-vimplugin-coq_nvim-2023-01-22
aarch64-linux
Linux · arm64		 vimPlugins.coq_nvim f32319e7ba8f
out
/nix/store/k96123al4p9ccpgcw33kh6p1wzm0sa81-vimplugin-coq_nvim-2023-01-22
x86_64-darwin
macOS · x86-64		 vimPlugins.coq_nvim f32319e7ba8f
out
/nix/store/niw5rnidr84zly75m9g46l262m0x1qnp-vimplugin-coq_nvim-2023-01-22
x86_64-linux
Linux · x86-64		 vimPlugins.coq_nvim f32319e7ba8f
out
/nix/store/1nnvc2jsv53an3l0lf7bc8dp3bcpphwr-vimplugin-coq_nvim-2023-01-22
← newer: 2023-01-29 all 179 releases older: 2023-01-17 →

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