nixsearch / pkg / vimPlugins.coq-artifacts / 2023-07-16
vimPlugins.coq-artifacts 2023-07-16
Linux and macOS
last changed
Pin this version
$ devbox add vimPlugins.coq-artifacts@2023-07-16
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit7f256d7da238cb627ef189d56ed590739f42f13b
$ nix shell github:NixOS/nixpkgs/7f256d7da238cb627ef189d56ed590739f42f13b#vimPlugins.coq-artifacts
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
vimPlugins.coq-artifacts |
7f256d7da238 | out/nix/store/7d7fqfkcpl21gvczzzzgxhbnpyw7ap4l-vimplugin-coq.artifacts-2023-07-16 |
||
aarch64-linuxLinux · arm64 |
vimPlugins.coq-artifacts |
7f256d7da238 | out/nix/store/jcds0jnrdzajpj35chrqvya6sn36m8yi-vimplugin-coq.artifacts-2023-07-16 |
||
x86_64-darwinmacOS · x86-64 |
vimPlugins.coq-artifacts |
7f256d7da238 | out/nix/store/m4r84qaxdfd7mxnfinghhz7c20xva1r1-vimplugin-coq.artifacts-2023-07-16 |
||
x86_64-linuxLinux · x86-64 |
vimPlugins.coq-artifacts |
7f256d7da238 | out/nix/store/cw83girwhf1cc1byasgv07pilx6f189z-vimplugin-coq.artifacts-2023-07-16 |
JSON: /v2/pkg?name=vimPlugins.coq-artifacts · /v2/resolve?name=vimPlugins.coq-artifacts&version=2023-07-16