nixsearch / pkg / vimPlugins.coq-artifacts / 2023-05-21
vimPlugins.coq-artifacts 2023-05-21
Linux and macOS
last changed
Pin this version
$ devbox add vimPlugins.coq-artifacts@2023-05-21
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit30b82a186bc585872624a298a5169d1d237ce6a4
$ nix shell github:NixOS/nixpkgs/30b82a186bc585872624a298a5169d1d237ce6a4#vimPlugins.coq-artifacts
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
vimPlugins.coq-artifacts |
30b82a186bc5 | out/nix/store/bwyqygwhcq28nb5j8d1x4rxdf82hk64h-vimplugin-coq.artifacts-2023-05-21 |
||
aarch64-linuxLinux · arm64 |
vimPlugins.coq-artifacts |
30b82a186bc5 | out/nix/store/xsh0057c0bgmchi3m1a6izisvglf9c7b-vimplugin-coq.artifacts-2023-05-21 |
||
x86_64-darwinmacOS · x86-64 |
vimPlugins.coq-artifacts |
30b82a186bc5 | out/nix/store/cvqj1413101x404118y09l11a1a68xwk-vimplugin-coq.artifacts-2023-05-21 |
||
x86_64-linuxLinux · x86-64 |
vimPlugins.coq-artifacts |
30b82a186bc5 | out/nix/store/wnql3kqbc2f85m27n68dy3yfava1qn5v-vimplugin-coq.artifacts-2023-05-21 |
JSON: /v2/pkg?name=vimPlugins.coq-artifacts · /v2/resolve?name=vimPlugins.coq-artifacts&version=2023-05-21