nixsearch
nixsearch / pkg / vimPlugins.coq_nvim / 0-unstable-2026-04-23

vimPlugins.coq_nvim 0-unstable-2026-04-23

Linux and macOS last changed

Pin this version

$ devbox add vimPlugins.coq_nvim@0-unstable-2026-04-23
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commitb503dde361500433ca25a32e8f4d218bf58fb659 
$ nix shell github:NixOS/nixpkgs/b503dde361500433ca25a32e8f4d218bf58fb659#vimPlugins.coq_nvim

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 vimPlugins.coq_nvim b503dde36150
out
/nix/store/qa8gnkifr65xk5dfjp2hw03n4x7fxh0b-vimplugin-coq_nvim-0-unstable-2026-04-23
aarch64-linux
Linux · arm64		 vimPlugins.coq_nvim b503dde36150
out
/nix/store/23m6ijd41nmnkwa4m54c4dzv9fmsy1ch-vimplugin-coq_nvim-0-unstable-2026-04-23
x86_64-darwin
macOS · x86-64		 vimPlugins.coq_nvim b503dde36150
out
/nix/store/y7k9hzid42w754cg6sx7qy9a6ssgj53q-vimplugin-coq_nvim-0-unstable-2026-04-23
x86_64-linux
Linux · x86-64		 vimPlugins.coq_nvim b503dde36150
out
/nix/store/jb0d62rf7cl0sk4jq4wpl8qlnrsawbdx-vimplugin-coq_nvim-0-unstable-2026-04-23
← newer: 0-unstable-2026-06-10 all 179 releases older: 0-unstable-2026-01-06 →

JSON: /v2/pkg?name=vimPlugins.coq_nvim · /v2/resolve?name=vimPlugins.coq_nvim&version=0-unstable-2026-04-23