Loading pkgs/development/python-modules/claripy/default.nix +2 −2 Original line number Diff line number Diff line Loading @@ -14,7 +14,7 @@ buildPythonPackage rec { pname = "claripy"; version = "9.2.149"; version = "9.2.150"; pyproject = true; disabled = pythonOlder "3.11"; Loading @@ -23,7 +23,7 @@ buildPythonPackage rec { owner = "angr"; repo = "claripy"; tag = "v${version}"; hash = "sha256-jWT4PhGDxU42DrqV49sz/5bN0653lig9/f0T1zOq6eA="; hash = "sha256-RM0gyGOrMaZCMhX3dYi2Valsz7OHplTz+SX6GlDUL+A="; }; # z3 does not provide a dist-info, so python-runtime-deps-check will fail Loading Loading
pkgs/development/python-modules/claripy/default.nix +2 −2 Original line number Diff line number Diff line Loading @@ -14,7 +14,7 @@ buildPythonPackage rec { pname = "claripy"; version = "9.2.149"; version = "9.2.150"; pyproject = true; disabled = pythonOlder "3.11"; Loading @@ -23,7 +23,7 @@ buildPythonPackage rec { owner = "angr"; repo = "claripy"; tag = "v${version}"; hash = "sha256-jWT4PhGDxU42DrqV49sz/5bN0653lig9/f0T1zOq6eA="; hash = "sha256-RM0gyGOrMaZCMhX3dYi2Valsz7OHplTz+SX6GlDUL+A="; }; # z3 does not provide a dist-info, so python-runtime-deps-check will fail Loading