nixsearch
nixsearch / pkg / vimPlugins.coq_nvim / 2023-04-16

vimPlugins.coq_nvim 2023-04-16

Linux and macOS last changed

Pin this version

$ devbox add vimPlugins.coq_nvim@2023-04-16
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit8670e496ffd093b60e74e7fa53526aa5920d09eb 
$ nix shell github:NixOS/nixpkgs/8670e496ffd093b60e74e7fa53526aa5920d09eb#vimPlugins.coq_nvim

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 vimPlugins.coq_nvim 8670e496ffd0
out
/nix/store/5q3aipm69b17wksy1ca47k1amzp9hcr6-vimplugin-coq_nvim-2023-04-16
aarch64-linux
Linux · arm64		 vimPlugins.coq_nvim 8670e496ffd0
out
/nix/store/471c95vrl4mrb0y9m5kjxh7dr9miyha9-vimplugin-coq_nvim-2023-04-16
x86_64-darwin
macOS · x86-64		 vimPlugins.coq_nvim 8670e496ffd0
out
/nix/store/3ip4gi5f83dwbz4pbddzniq7il9fppwq-vimplugin-coq_nvim-2023-04-16
x86_64-linux
Linux · x86-64		 vimPlugins.coq_nvim 8670e496ffd0
out
/nix/store/r70zn9h9kkfq4g8mwlalxwzzbq9kdvr3-vimplugin-coq_nvim-2023-04-16
← newer: 2023-05-01 all 179 releases older: 2023-04-09 →

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