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

vimPlugins.coq_nvim 2022-10-20

Linux and macOS last changed

Pin this version

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

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 vimPlugins.coq_nvim 93e0ac196106
out
/nix/store/yn97bgc1bhhdkp2zqacrmgfhsbv0zgcm-vimplugin-coq_nvim-2022-10-20
aarch64-linux
Linux · arm64		 vimPlugins.coq_nvim 93e0ac196106
out
/nix/store/hdngdfw5llsm94i6qlnyrp627rpffgna-vimplugin-coq_nvim-2022-10-20
x86_64-darwin
macOS · x86-64		 vimPlugins.coq_nvim 93e0ac196106
out
/nix/store/sfb5g656nkrj79czjmg6isal18a1agx2-vimplugin-coq_nvim-2022-10-20
x86_64-linux
Linux · x86-64		 vimPlugins.coq_nvim 93e0ac196106
out
/nix/store/65djczlaypdarh66bh5g0r74b1wjhprl-vimplugin-coq_nvim-2022-10-20
← newer: 2022-10-21 all 179 releases older: 2022-10-19 →

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