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