Loading pkgs/development/python-modules/claripy/default.nix +2 −2 Original line number Diff line number Diff line Loading @@ -15,7 +15,7 @@ buildPythonPackage rec { pname = "claripy"; version = "9.2.148"; version = "9.2.149"; pyproject = true; disabled = pythonOlder "3.11"; Loading @@ -24,7 +24,7 @@ buildPythonPackage rec { owner = "angr"; repo = "claripy"; tag = "v${version}"; hash = "sha256-WfDsitb3Ziw3Ss7/zOblBhzfD+foZSGfyD0rGAI+HcA="; hash = "sha256-jWT4PhGDxU42DrqV49sz/5bN0653lig9/f0T1zOq6eA="; }; # 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 @@ -15,7 +15,7 @@ buildPythonPackage rec { pname = "claripy"; version = "9.2.148"; version = "9.2.149"; pyproject = true; disabled = pythonOlder "3.11"; Loading @@ -24,7 +24,7 @@ buildPythonPackage rec { owner = "angr"; repo = "claripy"; tag = "v${version}"; hash = "sha256-WfDsitb3Ziw3Ss7/zOblBhzfD+foZSGfyD0rGAI+HcA="; hash = "sha256-jWT4PhGDxU42DrqV49sz/5bN0653lig9/f0T1zOq6eA="; }; # z3 does not provide a dist-info, so python-runtime-deps-check will fail Loading