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

vimPlugins.coq-artifacts 2022-10-11

Linux and macOS last changed

Pin this version

$ devbox add vimPlugins.coq-artifacts@2022-10-11
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit3dae05bb9193f3910f1ac0251b1c1eb4f7f07872 
$ nix shell github:NixOS/nixpkgs/3dae05bb9193f3910f1ac0251b1c1eb4f7f07872#vimPlugins.coq-artifacts

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 vimPlugins.coq-artifacts 3dae05bb9193
out
/nix/store/7in2gy5854xd93mxr82gsk3h89ld6imc-vimplugin-coq.artifacts-2022-10-11
aarch64-linux
Linux · arm64		 vimPlugins.coq-artifacts 3dae05bb9193
out
/nix/store/ysks5l2f9cgqayqqj74p0y6kgx57p3g5-vimplugin-coq.artifacts-2022-10-11
x86_64-darwin
macOS · x86-64		 vimPlugins.coq-artifacts 3dae05bb9193
out
/nix/store/awl9n6z0sjisixwa0qkkhs3z2is2736x-vimplugin-coq.artifacts-2022-10-11
x86_64-linux
Linux · x86-64		 vimPlugins.coq-artifacts 3dae05bb9193
out
/nix/store/pf534643srnx2kgv4yii7nrm3fk0ww49-vimplugin-coq.artifacts-2022-10-11
← newer: 2022-10-14 all 90 releases older: 2022-10-10 →

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