nixsearch / pkg / vimPlugins.coq_nvim
vimPlugins.coq_nvim
version0-unstable-2026-09-22
attributevimPlugins.coq_nvim
rev419fe0f449b3fbe3bdd53d9840288db4509ec32e · one commit for every system
systems✓ aarch64-darwin✓ aarch64-linuxx86_64-darwin✓ x86_64-linux
$ devbox add vimPlugins.coq_nvim@0-unstable-2026-09-22
$ nix shell github:NixOS/nixpkgs/419fe0f449b3fbe3bdd53d9840288db4509ec32e#vimPlugins.coq_nvim
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 2025-11-22 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
890f57fde0 | ||
| 2025-10-11 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
ee09932ced | ||
| 2025-09-22 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
bce5fe2bb9 | ||
| 2025-07-25 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
f4b140d5b2 | ||
| 2025-07-14 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
648f70160c | ||
| 2025-07-02 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
dab3a6e781 | ||
| 2025-07-01 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
b32441ec0f | ||
| 2025-06-23 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
80d50fc879 | ||
| 2025-06-07 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
076e8c6678 | ||
| 2025-06-05 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
a4ff0e3c64 | ||
| 2025-05-29 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
59138c7667 | ||
| 2025-05-14 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
8406224e30 | ||
| 2025-04-23 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
12a5540765 | ||
| 2025-04-13 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
ebe4301cbd | ||
| 2025-03-24 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
eb0e0f21f1 | ||
| 2025-03-10 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
dd613136ee | ||
| 2025-02-17 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
0d534853a5 | ||
| 2025-02-05 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
2d068ae5c6 | ||
| 2025-01-20 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
d98abf5cf5 | ||
| 2025-01-19 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
300081d0cc | ||
| 2024-12-06 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
50165c4f7e | ||
| 2024-12-03 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
2f9d395f05 | ||
| 2024-11-19 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
566e53c2ad | ||
| 2024-11-18 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
8edf06bea5 | ||
| 2024-11-13 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
34a626458d | ||
| 2024-10-22 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
aebe249544 | ||
| 2024-10-17 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
ca30f584e1 | ||
| 2024-10-15 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
1bde3e8e37 | ||
| 2024-10-05 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
d4f247e89f | ||
| 2024-09-25 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
8bca501bf3 | ||
| 2024-09-20 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
fe866c653c | ||
| 2024-09-13 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
a1d92660c6 | ||
| 2024-09-01 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
280db3deca | ||
| 2024-07-26 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
5ed627539a | ||
| 2024-06-26 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
2122a9b35b | ||
| 2024-06-11 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
98053e7c05 | ||
| 2024-06-09 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
a9858885e1 | ||
| 2024-05-27 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
4a3fc4cf73 | ||
| 2024-05-24 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
e2dd4e18cc | ||
| 2024-04-26 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
1a9df4f742 | ||
| 2024-04-18 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
5fd8536a9a | ||
| 2024-04-03 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
92d295f588 | ||
| 2024-03-22 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
e976fa8f49 | ||
| 2024-03-11 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
080a4a27f2 | ||
| 2024-03-01 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
a343533bcc | ||
| 2024-02-18 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
b5f6e3881a | ||
| 2024-02-16 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
9a9dae8f63 | ||
| 2024-02-15 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
c7763249f0 | ||
| 2024-01-03 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
dd7b7a8f7b | ||
| 2023-12-29 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
dd5621df6d | ||
| 2023-12-22 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
63143ac2c9 | ||
| 2023-10-07 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
fd04bea4cb | ||
| 2023-09-05 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
01441e14af | ||
| 2023-08-22 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
a63a64b593 | ||
| 2023-08-19 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
9d757ec498 | ||
| 2023-08-12 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
750fc50bfd | ||
| 2023-08-06 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
4e6868b1aa | ||
| 2023-07-30 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
0d2fb29f50 | ||
| 2023-07-28 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
9418167277 | ||
| 2023-07-23 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
fb4debd731 | ||
| 2023-07-19 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
dfcffbd74f | ||
| 2023-07-17 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
7f256d7da2 | ||
| 2023-07-09 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
29bcead840 | ||
| 2023-07-05 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
d485da9d00 | ||
| 2023-07-04 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
5daaa32204 | ||
| 2023-07-03 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
0d5682acc1 | ||
| 2023-07-01 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
cd99c2b3c9 | ||
| 2023-06-29 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
3c614fbc76 | ||
| 2023-06-25 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
1c851e8c92 | ||
| 2023-06-23 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
b38e95ea6c | ||
| 2023-06-18 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
205ee073b0 | ||
| 2023-06-11 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
4d887ae766 | ||
| 2023-06-04 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
932fc16b26 | ||
| 2023-06-01 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
cfa3489653 | ||
| 2023-05-30 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
e002d1926c | ||
| 2023-05-28 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
f167a1272d | ||
| 2023-05-21 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
30b82a186b | ||
| 2023-05-18 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
85340996ba | ||
| 2023-05-07 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
4a22f6f0a4 | ||
| 2023-05-01 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
e040aab156 | ||
| 2023-04-16 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
8670e496ff | ||
| 2023-04-09 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
96ba1c52e5 | ||
| 2023-04-02 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
varies | ||
| 2023-03-26 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
98f3b08f58 | ||
| 2023-03-19 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
8bc6945b12 | ||
| 2023-03-12 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
194c2aa446 | ||
| 2023-03-10 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
8e3fad82be | ||
| 2023-03-05 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
49596eb4e5 | ||
| 2023-02-19 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
0749042bfa | ||
| 2023-02-12 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
a9c9d1924b | ||
| 2023-02-04 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
0a25e2c87e | ||
| 2023-02-03 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
32ec41a672 | ||
| 2023-01-29 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
e3945057be | ||
| 2023-01-22 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
f32319e7ba | ||
| 2023-01-17 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
cfb43ad7b9 | ||
| 2023-01-08 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
2d38b664b4 | ||
| 2022-12-25 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
f1ffcf798e | ||
| 2022-12-23 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
18ee49839e | ||
| 2022-12-19 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
ba6ba2b900 | ||
| 2022-12-16 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
80c24eeb9f | ||
| 2022-12-12 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
84575b0bd8 | ||
| 2022-12-11 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
fb83ee7d26 | ||
| 2022-12-09 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
6f493a530f | ||
| 2022-12-07 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
52665b05cf | ||
| 2022-12-01 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
9063accddd | ||
| 2022-11-29 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
19a6b85e8f | ||
| 2022-11-24 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
55b3f68bda | ||
| 2022-11-22 | – | ✓ | – | ✓ | vimPlugins.coq_nvim |
8e8b5f3b1e | ||
| 2022-11-19 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
6b5019a48f | ||
| 2022-11-18 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
a1b4a56221 | ||
| 2022-11-15 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
c031419489 | ||
| 2022-11-14 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
032b5c19b0 | ||
| 2022-11-04 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
72d8853228 | ||
| 2022-11-01 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
01e9ba9666 | ||
| 2022-10-29 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
ced197be72 | ||
| 2022-10-28 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
fbb042bc87 | ||
| 2022-10-27 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
f44ba1be52 | ||
| 2022-10-25 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
eb354ebf03 | ||
| 2022-10-21 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
31acb601e3 | ||
| 2022-10-20 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
93e0ac1961 | ||
| 2022-10-19 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
d2cfe468f8 | ||
| 2022-10-17 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
b7adfe45f4 | ||
| 2022-10-16 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
ec96702d7d | ||
| 2022-10-14 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
d7c3a973c7 | ||
| 2022-10-11 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
3dae05bb91 | ||
| 2022-10-10 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
e0ed589d74 | ||
| 2022-10-09 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
91d1eb9f2a | ||
| 2022-10-04 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
27a89ba43b | ||
| 2022-10-02 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
e166ced03f | ||
| 2022-09-27 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
8e0f159ff2 | ||
| 2022-09-23 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
f3e200bd7f | ||
| 2022-09-20 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
78c04a7dd5 | ||
| 2022-09-08 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
994df04c3c | ||
| 2022-08-31 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
21de2b973f | ||
| 2022-08-21 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
ed0fab06cc | ||
| 2022-08-20 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
796a267784 | ||
| 2022-07-27 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
6c6409e965 | ||
| 2022-07-08 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
6f884c2f43 | ||
| 2022-07-02 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
334ec8b503 | ||
| 2022-06-21 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
d63774ae64 | ||
| 2022-06-09 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
72bbea9db7 | ||
| 2022-06-04 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
c5d810f4c7 | ||
| 2022-05-30 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
059530fbdb | ||
| 2022-05-13 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
cce0667703 | ||
| 2022-05-02 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
ed014c27f4 | ||
| 2022-04-20 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
24c33ab795 | ||
| 2022-04-12 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
0bbb65673c | ||
| 2022-04-05 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
0343e34157 | ||
| 2022-03-22 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
c984213d12 | ||
| 2022-03-10 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
4c3c80df54 | ||
| 2022-02-25 | ✓ | – | ✓ | ✓ | vimPlugins.coq_nvim |
607178a179 | ||
| 2022-02-24 | ✓ | – | ✓ | ✓ | vimPlugins.coq_nvim |
056c34167d | ||
| 2022-02-09 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
varies | ||
| 2022-02-08 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
varies | ||
| 2022-02-07 | ✓ | – | ✓ | ✓ | vimPlugins.coq_nvim |
18a062b02d | ||
| 2022-02-05 | ✓ | – | ✓ | ✓ | vimPlugins.coq_nvim |
942b0817e8 | ||
| 2022-01-27 | ✓ | – | ✓ | ✓ | vimPlugins.coq_nvim |
7f65e4abd5 | ||
| 2022-01-24 | ✓ | – | ✓ | ✓ | vimPlugins.coq_nvim |
e722007bf0 | ||
| 2022-01-17 | ✓ | – | ✓ | ✓ | vimPlugins.coq_nvim |
cc68710784 | ||
| 0-unstable-2026-09-22resolved | ✓ | ✓ | – | ✓ | vimPlugins.coq_nvim |
79b6d20e55 | ||
| 0-unstable-2026-09-19 | ✓ | ✓ | – | ✓ | vimPlugins.coq_nvim |
b6c98e9e66 | ||
| 0-unstable-2026-09-14 | ✓ | ✓ | – | ✓ | vimPlugins.coq_nvim |
0a3468a402 | ||
| 0-unstable-2026-09-04 | ✓ | ✓ | – | ✓ | vimPlugins.coq_nvim |
02f5696b0e | ||
| 0-unstable-2026-09-01 | ✓ | ✓ | – | ✓ | vimPlugins.coq_nvim |
0af3d1402d | ||
| 0-unstable-2026-08-31 | ✓ | ✓ | – | ✓ | vimPlugins.coq_nvim |
f0e996ff59 | ||
| 0-unstable-2026-08-27 | ✓ | ✓ | – | ✓ | vimPlugins.coq_nvim |
e8be7818e1 | ||
| 0-unstable-2026-08-23 | ✓ | ✓ | – | ✓ | vimPlugins.coq_nvim |
c27cdad491 | ||
| 0-unstable-2026-08-10 | ✓ | ✓ | – | ✓ | vimPlugins.coq_nvim |
f165e44f13 | ||
| 0-unstable-2026-08-03 | ✓ | ✓ | – | ✓ | vimPlugins.coq_nvim |
044bfe75bf | ||
| 0-unstable-2026-07-25 | ✓ | ✓ | – | ✓ | vimPlugins.coq_nvim |
a5cbcfe954 | ||
| 0-unstable-2026-07-16 | ✓ | ✓ | – | ✓ | vimPlugins.coq_nvim |
7525d999cd | ||
| 0-unstable-2026-07-12 | ✓ | ✓ | – | ✓ | vimPlugins.coq_nvim |
3889d66586 | ||
| 0-unstable-2026-07-09 | ✓ | ✓ | – | ✓ | vimPlugins.coq_nvim |
770b9bbb84 | ||
| 0-unstable-2026-06-29 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
varies | ||
| 0-unstable-2026-06-18 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
3d46470bb3 | ||
| 0-unstable-2026-06-10 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
173d0ad7a9 | ||
| 0-unstable-2026-04-23 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
b503dde361 | ||
| 0-unstable-2026-01-06 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
6368eda62c | ||
| 0-unstable-2025-11-22 | ✓ | ✓ | ✓ | ✓ | vimPlugins.coq_nvim |
f665af0cdb |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.