diff options
| author | Fabian Affolter <mail@fabian-affolter.ch> | 2025-02-01 10:05:29 +0100 |
|---|---|---|
| committer | Fabian Affolter <mail@fabian-affolter.ch> | 2025-02-01 10:05:29 +0100 |
| commit | 0f3d56a8ed7e95dd7ca159d514c64b0c4e4f4b19 (patch) | |
| tree | 0c63a41843bc69339bac748b22130037ed8e72c2 | |
| parent | python313Packages.pyvex: 9.2.138 -> 9.2.139 (diff) | |
| download | nixpkgs-0f3d56a8ed7e95dd7ca159d514c64b0c4e4f4b19.tar.gz | |
python313Packages.claripy: 9.2.138 -> 9.2.139
Diff: https://github.com/angr/claripy/compare/refs/tags/v9.2.138...v9.2.139
| -rw-r--r-- | pkgs/development/python-modules/claripy/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/python-modules/claripy/default.nix b/pkgs/development/python-modules/claripy/default.nix index 09c00fea692a..2821c3bead1a 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.138"; + version = "9.2.139"; pyproject = true; disabled = pythonOlder "3.11"; @@ -23,7 +23,7 @@ buildPythonPackage rec { owner = "angr"; repo = "claripy"; tag = "v${version}"; - hash = "sha256-1nIREzUeUzfMu7gqrbAMJvKNnboavQRL8c2GDhH0Xs0="; + hash = "sha256-v8mwBTnPnYWVhY79HAdpxqwxIhz/9VdVYwkQbmHpuKc="; }; # z3 does not provide a dist-info, so python-runtime-deps-check will fail |