nixsearch / pkg / vimPlugins.coq-thirdparty / 2022-10-10
vimPlugins.coq-thirdparty 2022-10-10
Linux and macOS
last changed
Pin this version
$ devbox add vimPlugins.coq-thirdparty@2022-10-10
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commite0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3
$ nix shell github:NixOS/nixpkgs/e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3#vimPlugins.coq-thirdparty
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
vimPlugins.coq-thirdparty |
e0ed589d7422 | out/nix/store/7mvq3xn867jkzknz4qsn03jw22wv0fys-vimplugin-coq.thirdparty-2022-10-10 |
||
aarch64-linuxLinux · arm64 |
vimPlugins.coq-thirdparty |
e0ed589d7422 | out/nix/store/asks7rkbi6773p7n62kkzfbmmcc3c7dv-vimplugin-coq.thirdparty-2022-10-10 |
||
x86_64-darwinmacOS · x86-64 |
vimPlugins.coq-thirdparty |
e0ed589d7422 | out/nix/store/qlb8k5b3wcznbxhcdkzaiia27ciggpkj-vimplugin-coq.thirdparty-2022-10-10 |
||
x86_64-linuxLinux · x86-64 |
vimPlugins.coq-thirdparty |
e0ed589d7422 | out/nix/store/jcl0hq73j2w2rrzy4n1cp9a2lp3d1d0w-vimplugin-coq.thirdparty-2022-10-10 |
JSON: /v2/pkg?name=vimPlugins.coq-thirdparty · /v2/resolve?name=vimPlugins.coq-thirdparty&version=2022-10-10