Fix the Z3 referenced in the flake to 4.11

kadena-io / pact

The Pact Smart Contract Language

https://pact-language.readthedocs.io/en/stable/

BSD 3-Clause "New" or "Revised" License

580 stars 100 forks source link

Fix the Z3 referenced in the flake to 4.11 #1329

Closed jwiegley closed 7 months ago

jwiegley commented 7 months ago

Without this change, nix develop pulls in z3-4.8.5, which is not recent enough for Pact. Even with this change, right now, it will pull in 4.11.0, while the docs say that 4.11.2 is required. This version will become available once hs-nix-infra updates nixpkgs.