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

vimPlugins.coq_nvim 2023-04-02

Linux and macOS last changed

Pin this version

$ devbox add vimPlugins.coq_nvim@2023-04-02
systemsaarch64-darwin commit431bf1e6cdd494e5230fbb72884afb4ca612c578 
$ nix shell github:NixOS/nixpkgs/431bf1e6cdd494e5230fbb72884afb4ca612c578#vimPlugins.coq_nvim
systemsaarch64-linux, x86_64-darwin, x86_64-linux commit83ca2cd74539fb8e79d46e233f6bb1d978c36f32 
$ nix shell github:NixOS/nixpkgs/83ca2cd74539fb8e79d46e233f6bb1d978c36f32#vimPlugins.coq_nvim

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 vimPlugins.coq_nvim 431bf1e6cdd4
out
/nix/store/w60w7hgrydd1xcg5i619pj5jn0hgsrn1-vimplugin-coq_nvim-2023-04-02
aarch64-linux
Linux · arm64		 vimPlugins.coq_nvim 83ca2cd74539
out
/nix/store/wyb31lksmymsvqhgnsl0kkf6kcr4mqx6-vimplugin-coq_nvim-2023-04-02
x86_64-darwin
macOS · x86-64		 vimPlugins.coq_nvim 83ca2cd74539
out
/nix/store/yyqq2bmdhmym3miqlc6xm8nry5906x7d-vimplugin-coq_nvim-2023-04-02
x86_64-linux
Linux · x86-64		 vimPlugins.coq_nvim 83ca2cd74539
out
/nix/store/4yw2rnqi2fwjgfgc7rsqri10px06i1pd-vimplugin-coq_nvim-2023-04-02
← newer: 2023-04-09 all 179 releases older: 2023-03-26 →

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