mirror of
https://github.com/NixOS/nixpkgs.git
synced 2026-08-02 23:18:22 +00:00
Z3 Python bindings import pkg_resources, which comes from setuptools. deal-solver used to pick this up from astroid, but the latest version of astroid removed this. Instead, let's pass this dependency explicitly from the Z3 derivation.