summaryrefslogtreecommitdiff
path: root/pkgs/development/python-modules/claripy/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'pkgs/development/python-modules/claripy/default.nix')
-rw-r--r--pkgs/development/python-modules/claripy/default.nix9
1 files changed, 3 insertions, 6 deletions
diff --git a/pkgs/development/python-modules/claripy/default.nix b/pkgs/development/python-modules/claripy/default.nix
index 8395e837ed94..3fadd0f44bd5 100644
--- a/pkgs/development/python-modules/claripy/default.nix
+++ b/pkgs/development/python-modules/claripy/default.nix
@@ -10,12 +10,11 @@
setuptools,
typing-extensions,
z3-solver,
- nix-update-script,
}:
buildPythonPackage rec {
pname = "claripy";
- version = "9.2.148";
+ version = "9.2.150";
pyproject = true;
disabled = pythonOlder "3.11";
@@ -24,7 +23,7 @@ buildPythonPackage rec {
owner = "angr";
repo = "claripy";
tag = "v${version}";
- hash = "sha256-WfDsitb3Ziw3Ss7/zOblBhzfD+foZSGfyD0rGAI+HcA=";
+ hash = "sha256-RM0gyGOrMaZCMhX3dYi2Valsz7OHplTz+SX6GlDUL+A=";
};
# z3 does not provide a dist-info, so python-runtime-deps-check will fail
@@ -46,12 +45,10 @@ buildPythonPackage rec {
pythonImportsCheck = [ "claripy" ];
- passthru.updateScript = nix-update-script { };
-
meta = with lib; {
description = "Python abstraction layer for constraint solvers";
homepage = "https://github.com/angr/claripy";
- license = with licenses; [ bsd2 ];
+ license = licenses.bsd2;
maintainers = with maintainers; [ fab ];
};
}