Unverified Commit 36c7e8e0 authored by Fabian Affolter's avatar Fabian Affolter Committed by GitHub
Browse files

python311Packages.angr: 9.2.130 -> 9.2.132 (#364682)

parents cfae4f15 91731ce7
Loading
Loading
Loading
Loading
+7 −3
Original line number Diff line number Diff line
@@ -5,11 +5,12 @@
  pythonOlder,
  pyvex,
  setuptools,
  typing-extensions,
}:

buildPythonPackage rec {
  pname = "ailment";
  version = "9.2.130";
  version = "9.2.132";
  pyproject = true;

  disabled = pythonOlder "3.11";
@@ -18,12 +19,15 @@ buildPythonPackage rec {
    owner = "angr";
    repo = "ailment";
    rev = "refs/tags/v${version}";
    hash = "sha256-/tupBPwZqsJ1+TNIdOVT49uOFSqWqF2nWzZJaHAJXNw=";
    hash = "sha256-XvDZwZF084Qns0b3g+X1ay+XEZq84mIvF/8JEx8sCaQ=";
  };

  build-system = [ setuptools ];

  dependencies = [ pyvex ];
  dependencies = [
    pyvex
    typing-extensions
  ];

  # Tests depend on angr (possibly a circular dependency)
  doCheck = false;
+2 −2
Original line number Diff line number Diff line
@@ -36,7 +36,7 @@

buildPythonPackage rec {
  pname = "angr";
  version = "9.2.130";
  version = "9.2.132";
  pyproject = true;

  disabled = pythonOlder "3.11";
@@ -45,7 +45,7 @@ buildPythonPackage rec {
    owner = "angr";
    repo = "angr";
    rev = "refs/tags/v${version}";
    hash = "sha256-XPiHRFt0peGyi5g5+fBVxg1jp/UXTetGIwAilgCM+Ow=";
    hash = "sha256-DtmjtxO2eOq2qz48uMkNOlGhIsc+LVOWGh0PpPIzaow=";
  };

  postPatch = ''
+2 −2
Original line number Diff line number Diff line
@@ -10,7 +10,7 @@

buildPythonPackage rec {
  pname = "archinfo";
  version = "9.2.130";
  version = "9.2.132";
  pyproject = true;

  disabled = pythonOlder "3.8";
@@ -19,7 +19,7 @@ buildPythonPackage rec {
    owner = "angr";
    repo = "archinfo";
    rev = "refs/tags/v${version}";
    hash = "sha256-r03eMpHfqRGvaDN5dRkfuGG6RWgHmTlyygby6BSzxIY=";
    hash = "sha256-j/N5nWUCWQRGb9Soe+naHLXV2Fwqu7lPMZdY9k3U1O4=";
  };

  build-system = [ setuptools ];
+2 −2
Original line number Diff line number Diff line
@@ -14,7 +14,7 @@

buildPythonPackage rec {
  pname = "claripy";
  version = "9.2.130";
  version = "9.2.132";
  pyproject = true;

  disabled = pythonOlder "3.11";
@@ -23,7 +23,7 @@ buildPythonPackage rec {
    owner = "angr";
    repo = "claripy";
    rev = "refs/tags/v${version}";
    hash = "sha256-WtT4jdL512ad/hUb8uMxAqihDH/YFxsnYumNFWWGkQM=";
    hash = "sha256-TiddozxGyDilcLKXyIOlIo7cTDVdJCJEjArq6nwgsc0=";
  };

  # z3 does not provide a dist-info, so python-runtime-deps-check will fail
+3 −3
Original line number Diff line number Diff line
@@ -16,14 +16,14 @@

let
  # The binaries are following the argr projects release cycle
  version = "9.2.130";
  version = "9.2.132";

  # Binary files from https://github.com/angr/binaries (only used for testing and only here)
  binaries = fetchFromGitHub {
    owner = "angr";
    repo = "binaries";
    rev = "refs/tags/v${version}";
    hash = "sha256-kgi7K8zxICIwtk9MKB2qHXf/7u2RbXx6hYC89lem/3I=";
    hash = "sha256-ytL8UlvbzOSvUwXjZhxAW6lQJawGOTfMlq/yQnBLIu0=";
  };
in
buildPythonPackage rec {
@@ -37,7 +37,7 @@ buildPythonPackage rec {
    owner = "angr";
    repo = "cle";
    rev = "refs/tags/v${version}";
    hash = "sha256-mxSTXgE4O4YpjFWKIpeSi43+j5xEgYwuRHVzqI34Izg=";
    hash = "sha256-TO1zVqoPr1HBTMd9+Gbn39lLsZv8cMcAG0EKsvgymcI=";
  };

  build-system = [ setuptools ];
Loading