nixsearch
nixsearch / pkg / vimPlugins.coq-artifacts / 2022-10-29

vimPlugins.coq-artifacts 2022-10-29

Linux and macOS last changed

Pin this version

$ devbox add vimPlugins.coq-artifacts@2022-10-29
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commitced197be72099edcfa68ebed8b87af7b04851f45 
$ nix shell github:NixOS/nixpkgs/ced197be72099edcfa68ebed8b87af7b04851f45#vimPlugins.coq-artifacts

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 vimPlugins.coq-artifacts ced197be7209
out
/nix/store/4qadban6k90w7r3izdhp6m7rqphzwrw5-vimplugin-coq.artifacts-2022-10-29
aarch64-linux
Linux · arm64		 vimPlugins.coq-artifacts ced197be7209
out
/nix/store/d7f962nvcffyialrql74rjz288gfiqfi-vimplugin-coq.artifacts-2022-10-29
x86_64-darwin
macOS · x86-64		 vimPlugins.coq-artifacts ced197be7209
out
/nix/store/flga3kid94c9x43l12b9kd2mzfca53dm-vimplugin-coq.artifacts-2022-10-29
x86_64-linux
Linux · x86-64		 vimPlugins.coq-artifacts ced197be7209
out
/nix/store/5g8lj2blqcljnf8k3gx5hqzkpdk3rmn5-vimplugin-coq.artifacts-2022-10-29
← newer: 2022-11-01 all 90 releases older: 2022-10-28 →

JSON: /v2/pkg?name=vimPlugins.coq-artifacts · /v2/resolve?name=vimPlugins.coq-artifacts&version=2022-10-29