nixsearch
nixsearch / pkg / vimPlugins.coq-artifacts / 2023-04-16

vimPlugins.coq-artifacts 2023-04-16

Linux and macOS last changed

Pin this version

$ devbox add vimPlugins.coq-artifacts@2023-04-16
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit8670e496ffd093b60e74e7fa53526aa5920d09eb 
$ nix shell github:NixOS/nixpkgs/8670e496ffd093b60e74e7fa53526aa5920d09eb#vimPlugins.coq-artifacts

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 vimPlugins.coq-artifacts 8670e496ffd0
out
/nix/store/2fz51dfkql0madaa0gxyy0szkrc5cr9g-vimplugin-coq.artifacts-2023-04-16
aarch64-linux
Linux · arm64		 vimPlugins.coq-artifacts 8670e496ffd0
out
/nix/store/4lfbgkhgnc27bcg9p5sabz17xzcxmf4w-vimplugin-coq.artifacts-2023-04-16
x86_64-darwin
macOS · x86-64		 vimPlugins.coq-artifacts 8670e496ffd0
out
/nix/store/nj4nca84jpqdwb35l26pdmh5vbza7h5c-vimplugin-coq.artifacts-2023-04-16
x86_64-linux
Linux · x86-64		 vimPlugins.coq-artifacts 8670e496ffd0
out
/nix/store/95bpjwydaafcmkagdmnh21gfa74v9504-vimplugin-coq.artifacts-2023-04-16
← newer: 2023-04-30 all 90 releases older: 2023-04-09 →

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