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

vimPlugins.coq-artifacts 2023-07-04

Linux and macOS last changed

Pin this version

$ devbox add vimPlugins.coq-artifacts@2023-07-04
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commitd485da9d0034a72ceb9679c2ab0156c073f66b82 
$ nix shell github:NixOS/nixpkgs/d485da9d0034a72ceb9679c2ab0156c073f66b82#vimPlugins.coq-artifacts

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 vimPlugins.coq-artifacts d485da9d0034
out
/nix/store/wfgk12w1im8cvr6jysh2yxjnkqnrhwjc-vimplugin-coq.artifacts-2023-07-04
aarch64-linux
Linux · arm64		 vimPlugins.coq-artifacts d485da9d0034
out
/nix/store/lnyzshqxrnbj73m6hlddvf74xdp9pmjm-vimplugin-coq.artifacts-2023-07-04
x86_64-darwin
macOS · x86-64		 vimPlugins.coq-artifacts d485da9d0034
out
/nix/store/in988qd37i14h7aky6lqi070pcj3jk7x-vimplugin-coq.artifacts-2023-07-04
x86_64-linux
Linux · x86-64		 vimPlugins.coq-artifacts d485da9d0034
out
/nix/store/ng715r553svg1amzscyrz6cx6f0ha0i2-vimplugin-coq.artifacts-2023-07-04
← newer: 2023-07-09 all 90 releases older: 2023-07-02 →

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