nix: Bump z3 to 4.16.0 from nixpkgs-unstable#1125

mkannwischer wants to merge 1 commit into

mainpq-code-package/mldsa-native:mainfrom

nix-z3-4.16.0pq-code-package/mldsa-native:nix-z3-4.16.0Copy head branch name to clipboard