Merge pull request #188391 from fabaff/angr-bump

python310Packages.angr: 9.2.14 -> 9.2.15
This commit is contained in:
Robert Scott 2022-08-27 00:56:20 +01:00 committed by GitHub
commit f9a75b14fd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
6 changed files with 19 additions and 21 deletions

View File

@ -7,16 +7,16 @@
buildPythonPackage rec {
pname = "ailment";
version = "9.2.14";
version = "9.2.15";
format = "pyproject";
disabled = pythonOlder "3.6";
disabled = pythonOlder "3.8";
src = fetchFromGitHub {
owner = "angr";
repo = pname;
rev = "v${version}";
hash = "sha256-Axjyqn1TtZbYdgaC6hOhIQM3FBs0a1oHNK8wLuWQLHM=";
hash = "sha256-CXJ9UVTrJzXumDJ6wghDbxVfZo9ZC67qBpz8B5D0DLo=";
};
propagatedBuildInputs = [

View File

@ -46,16 +46,16 @@ in
buildPythonPackage rec {
pname = "angr";
version = "9.2.14";
version = "9.2.15";
format = "pyproject";
disabled = pythonOlder "3.6";
disabled = pythonOlder "3.8";
src = fetchFromGitHub {
owner = pname;
repo = pname;
rev = "v${version}";
hash = "sha256-lxquiow2hI0xqdPLyZTZtxIo5nR60OtJV/kf6ukGF4c=";
hash = "sha256-9KWk4uB7VlYsnQbDCRgnVkis0UAZfiI2xH9cAD1Dd7M=";
};
propagatedBuildInputs = [

View File

@ -2,26 +2,24 @@
, buildPythonPackage
, fetchFromGitHub
, pytestCheckHook
, nose
, pythonOlder
}:
buildPythonPackage rec {
pname = "archinfo";
version = "9.2.14";
version = "9.2.15";
format = "pyproject";
disabled = pythonOlder "3.6";
disabled = pythonOlder "3.8";
src = fetchFromGitHub {
owner = "angr";
repo = pname;
rev = "v${version}";
hash = "sha256-kWZ5z9Tn0SAqrGP4gtGfPny+kj/2ibSdTwp+0RCx40s=";
hash = "sha256-K9EAyCvwgWhiZ+rkPKPGBr3lWYIIRCf0FAzPjIjrcU8=";
};
checkInputs = [
nose
pytestCheckHook
];

View File

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

View File

@ -15,7 +15,7 @@
let
# The binaries are following the argr projects release cycle
version = "9.2.14";
version = "9.2.15";
# Binary files from https://github.com/angr/binaries (only used for testing and only here)
binaries = fetchFromGitHub {
@ -31,13 +31,13 @@ buildPythonPackage rec {
inherit version;
format = "pyproject";
disabled = pythonOlder "3.6";
disabled = pythonOlder "3.8";
src = fetchFromGitHub {
owner = "angr";
repo = pname;
rev = "v${version}";
hash = "sha256-ueR5reEmaI9drFMQn/CBHCW7DmsTWWYi1zCNaUQ2y7g=";
hash = "sha256-vGIthytW0gZy0X2OXuFwdBnPuvcWkV47FeaXZY8FCVc=";
};
propagatedBuildInputs = [

View File

@ -12,14 +12,14 @@
buildPythonPackage rec {
pname = "pyvex";
version = "9.2.14";
version = "9.2.15";
format = "pyproject";
disabled = pythonOlder "3.6";
disabled = pythonOlder "3.8";
src = fetchPypi {
inherit pname version;
hash = "sha256-xKy/+MbJJEYWXalvYhVi/J7IAn1CSrvkeg18vM0fy4k=";
hash = "sha256-Yik1RTz4SQBFJxgPzp7LnPHV4EMbxGEhD2fBVcKJC7c=";
};
propagatedBuildInputs = [