nixsearch
nixsearch / pkg / vimPlugins.coq-thirdparty / 2023-04-02

vimPlugins.coq-thirdparty 2023-04-02

Linux and macOS last changed

Pin this version

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

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 vimPlugins.coq-thirdparty 431bf1e6cdd4
out
/nix/store/i5jnrjy81bwscs667h2cgk9jc31b1h69-vimplugin-coq.thirdparty-2023-04-02
aarch64-linux
Linux · arm64		 vimPlugins.coq-thirdparty 83ca2cd74539
out
/nix/store/gk7y8xz1c4fcyviikxcqyd055dqgfmwy-vimplugin-coq.thirdparty-2023-04-02
x86_64-darwin
macOS · x86-64		 vimPlugins.coq-thirdparty 83ca2cd74539
out
/nix/store/k06pq67a5nw070pms92wab09fd8080g7-vimplugin-coq.thirdparty-2023-04-02
x86_64-linux
Linux · x86-64		 vimPlugins.coq-thirdparty 83ca2cd74539
out
/nix/store/hr0y3jmyi8yxla6r64vswrl2618lwn4i-vimplugin-coq.thirdparty-2023-04-02
← newer: 2023-04-09 all 94 releases older: 2023-03-26 →

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