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

vimPlugins.coq_nvim 2023-06-18

Linux and macOS last changed

Pin this version

$ devbox add vimPlugins.coq_nvim@2023-06-18
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit205ee073b053fc4d87d5adf2ebd44ebbef7bca4d 
$ nix shell github:NixOS/nixpkgs/205ee073b053fc4d87d5adf2ebd44ebbef7bca4d#vimPlugins.coq_nvim

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 vimPlugins.coq_nvim 205ee073b053
out
/nix/store/iidlvcr8575zg2h025hjvazi01rajj0a-vimplugin-coq_nvim-2023-06-18
aarch64-linux
Linux · arm64		 vimPlugins.coq_nvim 205ee073b053
out
/nix/store/dnwdrkrrj54llhm8w894f98g5ahdx2fb-vimplugin-coq_nvim-2023-06-18
x86_64-darwin
macOS · x86-64		 vimPlugins.coq_nvim 205ee073b053
out
/nix/store/dyqb3v8n9516r6hzk5k1r6d1zhdfvf61-vimplugin-coq_nvim-2023-06-18
x86_64-linux
Linux · x86-64		 vimPlugins.coq_nvim 205ee073b053
out
/nix/store/ndfb6sg3xvxhb7bhqvk3jf2dn9qzfdj0-vimplugin-coq_nvim-2023-06-18
← newer: 2023-06-23 all 179 releases older: 2023-06-11 →

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