nixsearch / pkg / vimPlugins.coq-thirdparty

vimPlugins.coq-thirdparty

github.com vimPlugins.coq-thirdparty 94 releases newest changed 10 months ago

version0-unstable-2026-06-21 attributevimPlugins.coq-thirdparty rev

aarch64-darwin b6c8664de9b6cc07fe5666a29f91884ba81197c4 2026-09-29

aarch64-linux b6c8664de9b6cc07fe5666a29f91884ba81197c4 2026-09-29

x86_64-darwin 05988b07fb05cbcb50be6bce197b4b5f75b5e61b 2026-07-08

x86_64-linux b6c8664de9b6cc07fe5666a29f91884ba81197c4 2026-09-29

systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux

$ devbox add vimPlugins.coq-thirdparty@0-unstable-2026-06-21

$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#vimPlugins.coq-thirdparty  # aarch64-darwin

$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#vimPlugins.coq-thirdparty  # aarch64-linux

$ nix shell github:NixOS/nixpkgs/05988b07fb05cbcb50be6bce197b4b5f75b5e61b#vimPlugins.coq-thirdparty  # x86_64-darwin

$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#vimPlugins.coq-thirdparty  # x86_64-linux

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

Releases

newest first, as /v2/pkg orders them

Version	arm mac	arm linux	x86 mac	x86 linux	Attribute	Commit	Date
2025-10-29	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	ee09932ced	2025-11-23
2025-01-18	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	01b6809f7f	2025-10-22
2024-12-01	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	50165c4f7e	2025-01-19
2024-11-20	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	566e53c2ad	2024-12-03
2024-08-26	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	34a626458d	2024-11-16
2024-07-25	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	5ed627539a	2024-09-10
2024-04-18	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	2122a9b35b	2024-07-25
2024-02-03	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	92d295f588	2024-04-19
2024-01-12	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	dd7b7a8f7b	2024-02-13
2024-01-01	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	dd5621df6d	2024-01-14
2023-10-28	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	63143ac2c9	2024-01-02
2023-08-27	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	75a52265bd	2023-10-25
2023-08-22	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	a63a64b593	2023-08-30
2023-08-13	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	9d757ec498	2023-08-22
2023-08-06	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	4e6868b1aa	2023-08-08
2023-07-30	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	0d2fb29f50	2023-08-05
2023-07-23	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	fb4debd731	2023-07-26
2023-07-16	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	dfcffbd74f	2023-07-24
2023-07-09	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	29bcead840	2023-07-15
2023-07-06	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	d485da9d00	2023-07-08
2023-07-04	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	5daaa32204	2023-07-06
2023-07-03	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	0d5682acc1	2023-07-04
2023-07-01	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	cd99c2b3c9	2023-07-01
2023-06-28	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	3c614fbc76	2023-06-30
2023-06-25	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	1c851e8c92	2023-06-28
2023-06-18	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	b38e95ea6c	2023-06-27
2023-06-11	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	4d887ae766	2023-06-18
2023-06-04	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	932fc16b26	2023-06-05
2023-05-28	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	e002d1926c	2023-06-01
2023-05-21	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	30b82a186b	2023-05-23
2023-05-14	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	85340996ba	2023-05-21
2023-05-07	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	3007746b3f	2023-05-14
2023-04-30	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	e040aab156	2023-05-07
2023-04-16	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	8670e496ff	2023-05-01
2023-04-09	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	96ba1c52e5	2023-04-13
2023-04-02	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	varies	2023-04-10
2023-03-26	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	98f3b08f58	2023-03-28
2023-03-19	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	8bc6945b12	2023-03-20
2023-03-12	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	194c2aa446	2023-03-16
2023-03-05	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	49596eb4e5	2023-03-06
2023-02-19	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	0749042bfa	2023-03-03
2023-02-12	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	a9c9d1924b	2023-02-14
2023-01-29	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	0a25e2c87e	2023-02-14
2023-01-22	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	f32319e7ba	2023-01-23
2023-01-15	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	cfb43ad7b9	2023-01-20
2023-01-08	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	2d38b664b4	2023-01-17
2022-12-25	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	f1ffcf798e	2023-01-06
2022-12-23	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	18ee49839e	2022-12-25
2022-12-19	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	ba6ba2b900	2022-12-20
2022-12-16	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	80c24eeb9f	2022-12-17
2022-12-12	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	84575b0bd8	2022-12-13
2022-12-11	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	fb83ee7d26	2022-12-11
2022-12-09	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	6f493a530f	2022-12-10
2022-12-07	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	52665b05cf	2022-12-08
2022-12-01	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	9063accddd	2022-12-01
2022-11-29	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	19a6b85e8f	2022-11-29
2022-11-24	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	55b3f68bda	2022-11-25
2022-11-22	–	✓	–	✓	`vimPlugins.coq-thirdparty`	8e8b5f3b1e	2022-11-24
2022-11-19	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	6b5019a48f	2022-11-21
2022-11-18	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	a1b4a56221	2022-11-19
2022-11-15	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	c031419489	2022-11-16
2022-11-14	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	032b5c19b0	2022-11-15
2022-11-04	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	72d8853228	2022-11-10
2022-11-01	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	01e9ba9666	2022-11-04
2022-10-29	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	ced197be72	2022-10-31
2022-10-28	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	fbb042bc87	2022-10-28
2022-10-27	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	f44ba1be52	2022-10-28
2022-10-25	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	eb354ebf03	2022-10-26
2022-10-21	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	31acb601e3	2022-10-22
2022-10-20	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	93e0ac1961	2022-10-21
2022-10-19	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	d2cfe468f8	2022-10-19
2022-10-17	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	b7adfe45f4	2022-10-18
2022-10-16	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	ec96702d7d	2022-10-16
2022-10-14	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	d7c3a973c7	2022-10-16
2022-10-11	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	3dae05bb91	2022-10-12
2022-10-10	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	e0ed589d74	2022-10-11
2022-10-09	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	91d1eb9f2a	2022-10-10
2022-10-04	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	27a89ba43b	2022-10-06
2022-10-02	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	e166ced03f	2022-10-03
2022-09-27	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	8e0f159ff2	2022-10-02
2022-09-23	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	f3e200bd7f	2022-09-25
2022-09-20	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	78c04a7dd5	2022-09-21
2022-09-08	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	994df04c3c	2022-09-12
2022-08-31	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	21de2b973f	2022-09-02
2022-08-21	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	ed0fab06cc	2022-08-27
2022-08-20	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	796a267784	2022-08-21
2022-07-27	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	6c6409e965	2022-08-16
2022-07-08	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	6f884c2f43	2022-07-19
2022-07-02	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	334ec8b503	2022-07-08
2022-06-21	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	d63774ae64	2022-07-03
2022-06-09	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	72bbea9db7	2022-06-20
2022-06-04	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	c5d810f4c7	2022-06-05
0-unstable-2026-06-21resolved	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	varies	2026-09-29
0-unstable-2025-10-29	✓	✓	✓	✓	`vimPlugins.coq-thirdparty`	3d46470bb3	2026-06-27

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