nixsearch
nixsearch / pkg / vimPlugins.coq_nvim / 2022-10-10

vimPlugins.coq_nvim 2022-10-10

Linux and macOS last changed

Pin this version

$ devbox add vimPlugins.coq_nvim@2022-10-10
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commite0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3 
$ nix shell github:NixOS/nixpkgs/e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3#vimPlugins.coq_nvim

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 vimPlugins.coq_nvim e0ed589d7422
out
/nix/store/qhy2cyll7z8vy7x50s6cz6547n4gxsyn-vimplugin-coq_nvim-2022-10-10
aarch64-linux
Linux · arm64		 vimPlugins.coq_nvim e0ed589d7422
out
/nix/store/vxq9n1fg169jxj10gjs4w656mjnsnl5z-vimplugin-coq_nvim-2022-10-10
x86_64-darwin
macOS · x86-64		 vimPlugins.coq_nvim e0ed589d7422
out
/nix/store/zij7y896l9v0wdrw5pw57jbdhzv80pa7-vimplugin-coq_nvim-2022-10-10
x86_64-linux
Linux · x86-64		 vimPlugins.coq_nvim e0ed589d7422
out
/nix/store/y44h4jkzn3lhm3s2gdg3ksv1dsd76amk-vimplugin-coq_nvim-2022-10-10
← newer: 2022-10-11 all 179 releases older: 2022-10-09 →

JSON: /v2/pkg?name=vimPlugins.coq_nvim · /v2/resolve?name=vimPlugins.coq_nvim&version=2022-10-10