diff options
Diffstat (limited to 'pkgs/development/python-modules/claripy/default.nix')
-rw-r--r-- | pkgs/development/python-modules/claripy/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/development/python-modules/claripy/default.nix b/pkgs/development/python-modules/claripy/default.nix index 6b9108aea977c..0f72b2188901c 100644 --- a/pkgs/development/python-modules/claripy/default.nix +++ b/pkgs/development/python-modules/claripy/default.nix @@ -7,14 +7,14 @@ pysmt, pytestCheckHook, pythonOlder, - pythonRelaxDepsHook, setuptools, + typing-extensions, z3-solver, }: buildPythonPackage rec { pname = "claripy"; - version = "9.2.108"; + version = "9.2.122"; pyproject = true; disabled = pythonOlder "3.11"; @@ -23,14 +23,13 @@ buildPythonPackage rec { owner = "angr"; repo = "claripy"; rev = "refs/tags/v${version}"; - hash = "sha256-CTCgiwt/vMJugo1KS5zugbfwk/a3TeMX/ezk9wkMsoo="; + hash = "sha256-UxWPOyrV8Yzzi9TKFlCenP8ZXXjf6sd92naALkqgmkA="; }; # z3 does not provide a dist-info, so python-runtime-deps-check will fail pythonRemoveDeps = [ "z3-solver" ]; build-system = [ - pythonRelaxDepsHook setuptools ]; @@ -38,6 +37,7 @@ buildPythonPackage rec { cachetools decorator pysmt + typing-extensions z3-solver ] ++ z3-solver.requiredPythonModules; |