nixsearch
nixsearch / pkg / vimPlugins.coq-artifacts

vimPlugins.coq-artifacts

github.com vimPlugins.coq-artifacts 90 releases newest changed
vimPlugins.coq-artifacts@ latest, 3.11, ^3.11, >=3.10 <3.12
version0-unstable-2026-06-08 attributevimPlugins.coq-artifacts rev systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux 
$ devbox add vimPlugins.coq-artifacts@0-unstable-2026-06-08
$ nix shell github:NixOS/nixpkgs/419fe0f449b3fbe3bdd53d9840288db4509ec32e#vimPlugins.coq-artifacts  # aarch64-darwin
$ nix shell github:NixOS/nixpkgs/419fe0f449b3fbe3bdd53d9840288db4509ec32e#vimPlugins.coq-artifacts  # aarch64-linux
$ nix shell github:NixOS/nixpkgs/05988b07fb05cbcb50be6bce197b4b5f75b5e61b#vimPlugins.coq-artifacts  # x86_64-darwin
$ nix shell github:NixOS/nixpkgs/419fe0f449b3fbe3bdd53d9840288db4509ec32e#vimPlugins.coq-artifacts  # x86_64-linux

JSON: /v2/resolve?name=vimPlugins.coq-artifacts&version=latest

Releases

newest first, as /v2/pkg orders them
Versionarm
mac		arm
linux		x86
mac		x86
linux		AttributeCommitDateOutputs
2025-01-20 ✓✓✓✓ vimPlugins.coq-artifacts ee09932ced
2024-08-31 ✓✓✓✓ vimPlugins.coq-artifacts 50165c4f7e
2024-03-01 ✓✓✓✓ vimPlugins.coq-artifacts 5ed627539a
2024-02-18 ✓✓✓✓ vimPlugins.coq-artifacts a343533bcc
2024-02-16 ✓✓✓✓ vimPlugins.coq-artifacts 9a9dae8f63
2023-12-22 ✓✓✓✓ vimPlugins.coq-artifacts dd7b7a8f7b
2023-09-07 ✓✓✓✓ vimPlugins.coq-artifacts fd04bea4cb
2023-08-22 ✓✓✓✓ vimPlugins.coq-artifacts 9108a20782
2023-08-13 ✓✓✓✓ vimPlugins.coq-artifacts 9d757ec498
2023-08-06 ✓✓✓✓ vimPlugins.coq-artifacts 4e6868b1aa
2023-07-30 ✓✓✓✓ vimPlugins.coq-artifacts 0d2fb29f50
2023-07-28 ✓✓✓✓ vimPlugins.coq-artifacts 9418167277
2023-07-23 ✓✓✓✓ vimPlugins.coq-artifacts fb4debd731
2023-07-19 ✓✓✓✓ vimPlugins.coq-artifacts dfcffbd74f
2023-07-16 ✓✓✓✓ vimPlugins.coq-artifacts 7f256d7da2
2023-07-09 ✓✓✓✓ vimPlugins.coq-artifacts 29bcead840
2023-07-04 ✓✓✓✓ vimPlugins.coq-artifacts d485da9d00
2023-07-02 ✓✓✓✓ vimPlugins.coq-artifacts 5daaa32204
2023-06-28 ✓✓✓✓ vimPlugins.coq-artifacts 3c614fbc76
2023-06-25 ✓✓✓✓ vimPlugins.coq-artifacts 1c851e8c92
2023-06-18 ✓✓✓✓ vimPlugins.coq-artifacts b38e95ea6c
2023-06-11 ✓✓✓✓ vimPlugins.coq-artifacts 4d887ae766
2023-06-04 ✓✓✓✓ vimPlugins.coq-artifacts 932fc16b26
2023-05-30 ✓✓✓✓ vimPlugins.coq-artifacts e002d1926c
2023-05-28 ✓✓✓✓ vimPlugins.coq-artifacts f167a1272d
2023-05-21 ✓✓✓✓ vimPlugins.coq-artifacts 30b82a186b
2023-05-14 ✓✓✓✓ vimPlugins.coq-artifacts 85340996ba
2023-05-07 ✓✓✓✓ vimPlugins.coq-artifacts 3007746b3f
2023-04-30 ✓✓✓✓ vimPlugins.coq-artifacts e040aab156
2023-04-16 ✓✓✓✓ vimPlugins.coq-artifacts 8670e496ff
2023-04-09 ✓✓✓✓ vimPlugins.coq-artifacts 96ba1c52e5
2023-04-02 ✓✓✓✓ vimPlugins.coq-artifacts varies
2023-03-26 ✓✓✓✓ vimPlugins.coq-artifacts 98f3b08f58
2023-03-19 ✓✓✓✓ vimPlugins.coq-artifacts 8bc6945b12
2023-03-12 ✓✓✓✓ vimPlugins.coq-artifacts 194c2aa446
2023-03-05 ✓✓✓✓ vimPlugins.coq-artifacts 49596eb4e5
2023-02-19 ✓✓✓✓ vimPlugins.coq-artifacts 0749042bfa
2023-02-12 ✓✓✓✓ vimPlugins.coq-artifacts a9c9d1924b
2023-01-29 ✓✓✓✓ vimPlugins.coq-artifacts 0a25e2c87e
2023-01-22 ✓✓✓✓ vimPlugins.coq-artifacts f32319e7ba
2023-01-15 ✓✓✓✓ vimPlugins.coq-artifacts cfb43ad7b9
2023-01-08 ✓✓✓✓ vimPlugins.coq-artifacts 2d38b664b4
2022-12-25 ✓✓✓✓ vimPlugins.coq-artifacts f1ffcf798e
2022-12-23 ✓✓✓✓ vimPlugins.coq-artifacts 18ee49839e
2022-12-19 ✓✓✓✓ vimPlugins.coq-artifacts ba6ba2b900
2022-12-16 ✓✓✓✓ vimPlugins.coq-artifacts 80c24eeb9f
2022-12-12 ✓✓✓✓ vimPlugins.coq-artifacts 84575b0bd8
2022-12-11 ✓✓✓✓ vimPlugins.coq-artifacts fb83ee7d26
2022-12-09 ✓✓✓✓ vimPlugins.coq-artifacts 6f493a530f
2022-12-07 ✓✓✓✓ vimPlugins.coq-artifacts 52665b05cf
2022-12-01 ✓✓✓✓ vimPlugins.coq-artifacts 9063accddd
2022-11-29 ✓✓✓✓ vimPlugins.coq-artifacts 19a6b85e8f
2022-11-24 ✓✓✓✓ vimPlugins.coq-artifacts 55b3f68bda
2022-11-22 –✓–✓ vimPlugins.coq-artifacts 8e8b5f3b1e
2022-11-19 ✓✓✓✓ vimPlugins.coq-artifacts 6b5019a48f
2022-11-18 ✓✓✓✓ vimPlugins.coq-artifacts a1b4a56221
2022-11-15 ✓✓✓✓ vimPlugins.coq-artifacts c031419489
2022-11-14 ✓✓✓✓ vimPlugins.coq-artifacts 032b5c19b0
2022-11-04 ✓✓✓✓ vimPlugins.coq-artifacts 72d8853228
2022-11-01 ✓✓✓✓ vimPlugins.coq-artifacts 01e9ba9666
2022-10-29 ✓✓✓✓ vimPlugins.coq-artifacts ced197be72
2022-10-28 ✓✓✓✓ vimPlugins.coq-artifacts fbb042bc87
2022-10-27 ✓✓✓✓ vimPlugins.coq-artifacts f44ba1be52
2022-10-25 ✓✓✓✓ vimPlugins.coq-artifacts eb354ebf03
2022-10-21 ✓✓✓✓ vimPlugins.coq-artifacts 31acb601e3
2022-10-20 ✓✓✓✓ vimPlugins.coq-artifacts 93e0ac1961
2022-10-19 ✓✓✓✓ vimPlugins.coq-artifacts d2cfe468f8
2022-10-17 ✓✓✓✓ vimPlugins.coq-artifacts b7adfe45f4
2022-10-16 ✓✓✓✓ vimPlugins.coq-artifacts ec96702d7d
2022-10-14 ✓✓✓✓ vimPlugins.coq-artifacts d7c3a973c7
2022-10-11 ✓✓✓✓ vimPlugins.coq-artifacts 3dae05bb91
2022-10-10 ✓✓✓✓ vimPlugins.coq-artifacts e0ed589d74
2022-10-09 ✓✓✓✓ vimPlugins.coq-artifacts 91d1eb9f2a
2022-10-04 ✓✓✓✓ vimPlugins.coq-artifacts 27a89ba43b
2022-10-02 ✓✓✓✓ vimPlugins.coq-artifacts e166ced03f
2022-09-27 ✓✓✓✓ vimPlugins.coq-artifacts 8e0f159ff2
2022-09-23 ✓✓✓✓ vimPlugins.coq-artifacts f3e200bd7f
2022-09-20 ✓✓✓✓ vimPlugins.coq-artifacts 78c04a7dd5
2022-09-08 ✓✓✓✓ vimPlugins.coq-artifacts 994df04c3c
2022-08-31 ✓✓✓✓ vimPlugins.coq-artifacts 21de2b973f
2022-08-21 ✓✓✓✓ vimPlugins.coq-artifacts ed0fab06cc
2022-08-20 ✓✓✓✓ vimPlugins.coq-artifacts 796a267784
2022-07-27 ✓✓✓✓ vimPlugins.coq-artifacts 6c6409e965
2022-07-08 ✓✓✓✓ vimPlugins.coq-artifacts 6f884c2f43
2022-07-02 ✓✓✓✓ vimPlugins.coq-artifacts 334ec8b503
2022-06-21 ✓✓✓✓ vimPlugins.coq-artifacts d63774ae64
2022-06-09 ✓✓✓✓ vimPlugins.coq-artifacts 72bbea9db7
2022-06-04 ✓✓✓✓ vimPlugins.coq-artifacts c5d810f4c7
0-unstable-2026-06-08resolved ✓✓✓✓ vimPlugins.coq-artifacts varies
0-unstable-2025-01-20 ✓✓✓✓ vimPlugins.coq-artifacts b503dde361

Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.