From 79df04f13a6d81b31b9dccb0b355a2eb56e237b7 Mon Sep 17 00:00:00 2001 From: Fabian Affolter Date: Tue, 8 Oct 2024 23:25:58 +0200 Subject: [PATCH] python312Packages.claripy: 9.2.119 -> 9.2.122 Diff: https://github.com/angr/claripy/compare/refs/tags/v9.2.119...v9.2.122 --- pkgs/development/python-modules/claripy/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/development/python-modules/claripy/default.nix b/pkgs/development/python-modules/claripy/default.nix index baaa3200ba31..0f72b2188901 100644 --- a/pkgs/development/python-modules/claripy/default.nix +++ b/pkgs/development/python-modules/claripy/default.nix @@ -14,7 +14,7 @@ buildPythonPackage rec { pname = "claripy"; - version = "9.2.119"; + version = "9.2.122"; pyproject = true; disabled = pythonOlder "3.11"; @@ -23,7 +23,7 @@ buildPythonPackage rec { owner = "angr"; repo = "claripy"; rev = "refs/tags/v${version}"; - hash = "sha256-dnx5aiZ8ssgC0SFEipYuCXbYbdLt7Ma6xBfN1OlO8Do="; + hash = "sha256-UxWPOyrV8Yzzi9TKFlCenP8ZXXjf6sd92naALkqgmkA="; }; # z3 does not provide a dist-info, so python-runtime-deps-check will fail