Information for coq:aac-tactics

Versions

• 8.18.0
• 8.17.0
• 8.16.0
• 8.15.1
• 8.13.0

Package names

• coq8.13-aac-tactics
• coq8.15-aac-tactics
• coq8.16-aac-tactics
• coq8.17-aac-tactics
• coq8.18-aac-tactics

Repositories

• nixpkgs stable 21.11
• nixpkgs stable 22.05
• nixpkgs stable 22.11
• nixpkgs stable 23.05
• nixpkgs unstable

Categories

• coqPackages

Licenses

• GPL-3.0-or-later

Summaries

• Coq plugin providing tactics for rewriting universally quantified equations

Maintainers

• bensiraphob@gmail.com

• Group email

Homepage links

• https://github.com/coq-community/aac-tactics^{ok, no IPv6}

All package recipes

• https://github.com/NixOS/nixpkgs/blob/nixos-unstable/pkgs/development/coq-modules/aac-tactics/default.nix#L44^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-21.11/pkgs/development/coq-modules/aac-tactics/default.nix#L35^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-22.05/pkgs/development/coq-modules/aac-tactics/default.nix#L39^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-22.11/pkgs/development/coq-modules/aac-tactics/default.nix#L41^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-23.05/pkgs/development/coq-modules/aac-tactics/default.nix#L42^{ok, no IPv6}