nixsearch
nixsearch / pkg / vimPlugins.coq-artifacts / 2023-04-02

vimPlugins.coq-artifacts 2023-04-02

Linux and macOS last changed

Pin this version

$ devbox add vimPlugins.coq-artifacts@2023-04-02
systemsaarch64-darwin commit431bf1e6cdd494e5230fbb72884afb4ca612c578 
$ nix shell github:NixOS/nixpkgs/431bf1e6cdd494e5230fbb72884afb4ca612c578#vimPlugins.coq-artifacts
systemsaarch64-linux, x86_64-darwin, x86_64-linux commit83ca2cd74539fb8e79d46e233f6bb1d978c36f32 
$ nix shell github:NixOS/nixpkgs/83ca2cd74539fb8e79d46e233f6bb1d978c36f32#vimPlugins.coq-artifacts

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 vimPlugins.coq-artifacts 431bf1e6cdd4
out
/nix/store/gram5rf2qmkjdh220kkq6i4plkk7d1la-vimplugin-coq.artifacts-2023-04-02
aarch64-linux
Linux · arm64		 vimPlugins.coq-artifacts 83ca2cd74539
out
/nix/store/n762b2gm2f53dmgcy1qanvdsqqycisf0-vimplugin-coq.artifacts-2023-04-02
x86_64-darwin
macOS · x86-64		 vimPlugins.coq-artifacts 83ca2cd74539
out
/nix/store/gprkmzpfrai74csbi1lzfygkfyyhigni-vimplugin-coq.artifacts-2023-04-02
x86_64-linux
Linux · x86-64		 vimPlugins.coq-artifacts 83ca2cd74539
out
/nix/store/izvv95kxsvbp3ll7chziizqw66rlirhx-vimplugin-coq.artifacts-2023-04-02
← newer: 2023-04-09 all 90 releases older: 2023-03-26 →

JSON: /v2/pkg?name=vimPlugins.coq-artifacts · /v2/resolve?name=vimPlugins.coq-artifacts&version=2023-04-02