nixsearch / pkg / coqPackages.ltac2
coqPackages.ltac2
A robust and expressive tactic language for Coq
version0.2
attributecoqPackages.ltac2
rev729e7295cf7b3205fcfa72544c1195c03de11c3d · one commit for every system
systemsaarch64-darwinaarch64-linuxx86_64-darwin✓ x86_64-linux
$ devbox add coqPackages.ltac2@0.2
$ nix shell github:NixOS/nixpkgs/729e7295cf7b3205fcfa72544c1195c03de11c3d#coqPackages.ltac2
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 0.2resolved | – | – | – | ✓ | coqPackages.ltac2 |
729e7295cf |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.