4 package(s) known
| Repository | Package name | Version | Category | Maintainer(s) |
|---|---|---|---|---|
| nixpkgs stable 21.11 | coq8.13-aac-tactics | 8.13.0 | coqPackages | bensiraphob@gmail.com |
| nixpkgs stable 22.05 | coq8.15-aac-tactics | 8.15.1 | coqPackages | bensiraphob@gmail.com |
| nixpkgs stable 22.11 | coq8.16-aac-tactics | 8.16.0 | coqPackages | bensiraphob@gmail.com |
| nixpkgs unstable | coq8.17-aac-tactics | 8.17.0 | coqPackages | bensiraphob@gmail.com |