cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

python310Packages.claripy: 9.2.14 -> 9.2.15

Browse source
This commit is contained in:
Fabian Affolter 2022-08-26 14:07:24 +02:00
parent efbd46c0f1
commit 006be6fbd7
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
pkgs/development/python-modules/claripy/default.nix
View file

@ -14,16 +14,16 @@
buildPythonPackage rec { buildPythonPackage rec {
pname = "claripy"; pname = "claripy";
version = "9.2.14"; version = "9.2.15";
format = "pyproject"; format = "pyproject";
disabled = pythonOlder "3.6"; disabled = pythonOlder "3.8";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "angr"; owner = "angr";
repo = pname; repo = pname;
rev = "v${version}"; rev = "v${version}";
hash = "sha256-802ToJGxwJSFcnl3suQMPNz0/7HnqvqxCpy9u7iU6EE="; hash = "sha256-3v5te+j3I4yzxoBO8kY8VGLCrWfb1iOz9GHzun1DT0I=";
}; };
propagatedBuildInputs = [ propagatedBuildInputs = [
@ -43,7 +43,7 @@ buildPythonPackage rec {
postPatch = '' postPatch = ''
# Use upstream z3 implementation # Use upstream z3 implementation
substituteInPlace setup.cfg \ substituteInPlace setup.cfg \
--replace "z3-solver >= 4.8.5.0" "" --replace "z3-solver == 4.10.2.0" ""
''; '';
pythonImportsCheck = [ pythonImportsCheck = [