nixsearch / pkg / vimPlugins.coq-artifacts / 2023-01-29
vimPlugins.coq-artifacts 2023-01-29
Linux and macOS
last changed
Pin this version
$ devbox add vimPlugins.coq-artifacts@2023-01-29
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit0a25e2c87e784bf7e06e7833ec0e06d34836959a
$ nix shell github:NixOS/nixpkgs/0a25e2c87e784bf7e06e7833ec0e06d34836959a#vimPlugins.coq-artifacts
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
vimPlugins.coq-artifacts |
0a25e2c87e78 | out/nix/store/r5dj207s76pxgbmzids6ljqnkrcfi868-vimplugin-coq.artifacts-2023-01-29 |
||
aarch64-linuxLinux · arm64 |
vimPlugins.coq-artifacts |
0a25e2c87e78 | out/nix/store/2ahnqhl58c4i6g8w4hdiqz1aszcih73b-vimplugin-coq.artifacts-2023-01-29 |
||
x86_64-darwinmacOS · x86-64 |
vimPlugins.coq-artifacts |
0a25e2c87e78 | out/nix/store/za6zdbzw9bdj79ppakjqd57lvdc6lg71-vimplugin-coq.artifacts-2023-01-29 |
||
x86_64-linuxLinux · x86-64 |
vimPlugins.coq-artifacts |
0a25e2c87e78 | out/nix/store/5m3cz1gil06yj1y0zan1pkyxym76ral3-vimplugin-coq.artifacts-2023-01-29 |
JSON: /v2/pkg?name=vimPlugins.coq-artifacts · /v2/resolve?name=vimPlugins.coq-artifacts&version=2023-01-29