nixsearch / pkg / coqPackages.mathcomp-zify
coqPackages.mathcomp-zify
Micromega tactics for Mathematical Components
version1.7.0+2.4+9.0
attributecoqPackages.mathcomp-zify
revf45c6f04c2f013f004bf94e284e95d72898d9393 · one commit for every system
systems✓ aarch64-darwin✓ aarch64-linuxx86_64-darwin✓ x86_64-linux
$ devbox add coqPackages.mathcomp-zify@1.7.0+2.4+9.0
$ nix shell github:NixOS/nixpkgs/f45c6f04c2f013f004bf94e284e95d72898d9393#coqPackages.mathcomp-zify
JSON: /v2/resolve?name=coqPackages.mathcomp-zify&version=latest
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 1.7.0+2.4+9.0resolved | ✓ | ✓ | – | ✓ | coqPackages.mathcomp-zify |
3396d05846 | ||
| 1.6.0+2.3+8.18 | ✓ | ✓ | ✓ | ✓ | coqPackages.mathcomp-zify |
varies | ||
| 1.5.0+2.0+8.16 | ✓ | ✓ | ✓ | ✓ | coqPackages.mathcomp-zify |
12c1f0253a | ||
| 1.3.0+1.12+8.13 | ✓ | ✓ | ✓ | ✓ | coqPackages.mathcomp-zify |
0cb2fd7c59 | ||
| 1.1.0+1.12+8.13 | ✓ | ✓ | ✓ | ✓ | coqPackages.mathcomp-zify |
0749042bfa | ||
| 1.0.0+1.12+8.13 | ✓ | – | ✓ | ✓ | coqPackages.mathcomp-zify |
ee084c0204 |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.