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

vimPlugins.coq-artifacts 2022-10-10

Linux and macOS last changed

Pin this version

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

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 vimPlugins.coq-artifacts e0ed589d7422
out
/nix/store/zc1lw1mn6fl5i9dh429cl3pqkj6zn1j7-vimplugin-coq.artifacts-2022-10-10
aarch64-linux
Linux · arm64		 vimPlugins.coq-artifacts e0ed589d7422
out
/nix/store/fn38gkcklbh95wnsl2s6w5xsa7s47sd1-vimplugin-coq.artifacts-2022-10-10
x86_64-darwin
macOS · x86-64		 vimPlugins.coq-artifacts e0ed589d7422
out
/nix/store/4qxm5ppihiqc0nrlg86m9by6ycclis10-vimplugin-coq.artifacts-2022-10-10
x86_64-linux
Linux · x86-64		 vimPlugins.coq-artifacts e0ed589d7422
out
/nix/store/ag92hkvb73zmxfd3q1xgx47j7mjm1nr5-vimplugin-coq.artifacts-2022-10-10
← newer: 2022-10-11 all 90 releases older: 2022-10-09 →

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