z3
z3 5.1.0 · pkgs/by-name/z3/z3/package.nix
Health
Risk
risk 8 low
- +8 5.1.0 is behind upstream 5.3.1
Version
5.1.0 upstream 5.3.1
Channels
Hydra
succeeded 2w ago
Advisories
none open
Packaging
not read yet: the next index sweep reads it
Maintainers
Pull requests 2
z3: 5.1.0 -> 5.3.1
#574726 by numinit · opened 17h ago · checks fail
treewide: Fix `finalAttrs.doCheck` by explicitly setting doCheck to the conditional in mkDerivation
#434550 by Artturin · opened 14mo ago · checks pass
Closed or merged in the synced window 2
z3: 4.16.0 -> 5.1.0
#563004 by NyCodeGHG · merged 2w ago
z3: 4.16.0 -> 5.0.0
#545892 by r-ryantm · closed 7d ago
Issues 0
None open.