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

vimPlugins.coq_nvim 2022-10-09

Linux and macOS last changed

Pin this version

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

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 vimPlugins.coq_nvim 91d1eb9f2a9c
out
/nix/store/5n114a7vhw3jxn869r287mnh7a799a5n-vimplugin-coq_nvim-2022-10-09
aarch64-linux
Linux · arm64		 vimPlugins.coq_nvim 91d1eb9f2a9c
out
/nix/store/qk61pc3v7ifd67v5r11bik1k6d5m5hfk-vimplugin-coq_nvim-2022-10-09
x86_64-darwin
macOS · x86-64		 vimPlugins.coq_nvim 91d1eb9f2a9c
out
/nix/store/lv8xhh14g8g1986qlbriv120jad6z5sd-vimplugin-coq_nvim-2022-10-09
x86_64-linux
Linux · x86-64		 vimPlugins.coq_nvim 91d1eb9f2a9c
out
/nix/store/qqpziidvlf2yzkamf3b29j23j8r9lfsm-vimplugin-coq_nvim-2022-10-09
← newer: 2022-10-10 all 179 releases older: 2022-10-04 →

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