nixsearch / pkg / z3_4_8_5
z3_4_8_5
High-performance theorem prover and SMT solver
version4.8.5
attributez3_4_8_5
rev507b63021ada5fee621b6ca371c4fca9ca46f52c · one commit for every system
systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux
$ devbox add z3_4_8_5@4.8.5
$ nix shell github:NixOS/nixpkgs/507b63021ada5fee621b6ca371c4fca9ca46f52c#z3_4_8_5
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 4.8.5resolved | ✓ | ✓ | ✓ | ✓ | z3_4_8_5 |
507b63021a | out, dev, lib, python |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.