Connor Nelson 48070f0c13 python3Packages.angr: preserve and relax the z3-solver dependency ...

Keep the upstream runtime requirement and relax its exact version pin to use Z3 5.3.1.
Remove Z3 from build-system.requires, since Nix supplies it and pythonRelaxDeps only changes runtime metadata.

Assisted-by: OpenAI Codex (GPT-6)

2026-10-29 01:06:28 +00:00

3.3 KiB

Raw Permalink Blame History

View Raw