nixsearch
nixsearch / pkg / vimPlugins.coq-artifacts / 0-unstable-2026-06-08

vimPlugins.coq-artifacts 0-unstable-2026-06-08

Linux and macOS last changed

Pin this version

$ devbox add vimPlugins.coq-artifacts@0-unstable-2026-06-08
systemsaarch64-darwin, aarch64-linux, x86_64-linux commitb6c8664de9b6cc07fe5666a29f91884ba81197c4
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#vimPlugins.coq-artifacts
systemsx86_64-darwin commit05988b07fb05cbcb50be6bce197b4b5f75b5e61b
$ nix shell github:NixOS/nixpkgs/05988b07fb05cbcb50be6bce197b4b5f75b5e61b#vimPlugins.coq-artifacts

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64
vimPlugins.coq-artifacts b6c8664de9b6
out
/nix/store/sg78q36q3hs772ws1nz5sh1vr9bxp0qq-vimplugin-coq.artifacts-0-unstable-2026-06-08
aarch64-linux
Linux · arm64
vimPlugins.coq-artifacts b6c8664de9b6
out
/nix/store/pdhkwyd4ji2bma3mmdgh9rs9v7gykbvh-vimplugin-coq.artifacts-0-unstable-2026-06-08
x86_64-darwin
macOS · x86-64
vimPlugins.coq-artifacts 05988b07fb05
out
/nix/store/rsbl2l7vb2azpwyvw860392k5a5x9pqf-vimplugin-coq.artifacts-0-unstable-2026-06-08
x86_64-linux
Linux · x86-64
vimPlugins.coq-artifacts b6c8664de9b6
out
/nix/store/v15fjrdymcy7if0f1ffywv1dpr53g60x-vimplugin-coq.artifacts-0-unstable-2026-06-08
← newer: 2022-06-04 all 90 releases older: 0-unstable-2025-01-20 →

JSON: /v2/pkg?name=vimPlugins.coq-artifacts · /v2/resolve?name=vimPlugins.coq-artifacts&version=0-unstable-2026-06-08