nixsearch / pkg / coqPackages.aac-tactics

coqPackages.aac-tactics

Coq plugin providing tactics for rewriting universally quantified equations

GPL-3.0-or-later github.com coqPackages.aac-tactics 10 releases newest changed 12 days ago

version9.0.0 attributecoqPackages.aac-tactics rev

aarch64-darwin 8825bebf6324e0579d012936eff73379af284b6d 2026-09-23

aarch64-linux 8825bebf6324e0579d012936eff73379af284b6d 2026-09-23

x86_64-darwin 05988b07fb05cbcb50be6bce197b4b5f75b5e61b 2026-07-08

x86_64-linux 8825bebf6324e0579d012936eff73379af284b6d 2026-09-23

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

$ devbox add coqPackages.aac-tactics@9.0.0

$ nix shell github:NixOS/nixpkgs/8825bebf6324e0579d012936eff73379af284b6d#coqPackages.aac-tactics  # aarch64-darwin

$ nix shell github:NixOS/nixpkgs/8825bebf6324e0579d012936eff73379af284b6d#coqPackages.aac-tactics  # aarch64-linux

$ nix shell github:NixOS/nixpkgs/05988b07fb05cbcb50be6bce197b4b5f75b5e61b#coqPackages.aac-tactics  # x86_64-darwin

$ nix shell github:NixOS/nixpkgs/8825bebf6324e0579d012936eff73379af284b6d#coqPackages.aac-tactics  # x86_64-linux

JSON: /v2/resolve?name=coqPackages.aac-tactics&version=latest

Releases

newest first, as /v2/pkg orders them

Version	arm mac	arm linux	x86 mac	x86 linux	Attribute	Commit	Date
9.0.0resolved	✓	✓	✓	✓	`coqPackages.aac-tactics`	varies	2026-09-13
8.20.0	✓	✓	✓	✓	`coqPackages.aac-tactics`	0d534853a5	2025-03-11
8.19.1	✓	✓	✓	✓	`coqPackages.aac-tactics`	5629520ede	2024-08-31
8.19.0	✓	✓	✓	✓	`coqPackages.aac-tactics`	3f316d2a50	2024-05-22
8.18.0	✓	✓	✓	✓	`coqPackages.aac-tactics`	a9040b7bf8	2024-04-24
8.17.0	✓	✓	✓	✓	`coqPackages.aac-tactics`	46688f8eb5	2023-09-15
8.16.0	✓	✓	✓	✓	`coqPackages.aac-tactics`	96ba1c52e5	2023-04-13
8.15.1	✓	✓	✓	✓	`coqPackages.aac-tactics`	e0ed589d74	2022-10-11
8.13.2	✓	✓	✓	✓	`coqPackages.aac-tactics`	varies	2022-05-04
8.13.0	✓	✓	✓	✓	`coqPackages.aac-tactics`	4c3c80df54	2022-03-21

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