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

python311Packages.angr: 9.2.124 -> 9.2.125 (#351288)

parents fa6d56d9 998beeb3
Loading
Loading
Loading
Loading
+2 −2
Original line number Diff line number Diff line
@@ -9,7 +9,7 @@

buildPythonPackage rec {
  pname = "ailment";
  version = "9.2.124";
  version = "9.2.125";
  pyproject = true;

  disabled = pythonOlder "3.11";
@@ -18,7 +18,7 @@ buildPythonPackage rec {
    owner = "angr";
    repo = "ailment";
    rev = "refs/tags/v${version}";
    hash = "sha256-wGpLRaoW6rZIT+vEpbjtjSJhBZbNNrpxt/+q6zTuJ9A=";
    hash = "sha256-ytwhCSlkp38Fff+bB/ep/FvY63vy/Gqxt+wMMziK0eY=";
  };

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

buildPythonPackage rec {
  pname = "angr";
  version = "9.2.124";
  version = "9.2.125";
  pyproject = true;

  disabled = pythonOlder "3.11";
@@ -45,7 +45,7 @@ buildPythonPackage rec {
    owner = "angr";
    repo = "angr";
    rev = "refs/tags/v${version}";
    hash = "sha256-tjopUg0EZved31bYfrxchqOfQwzEo7dKxX/uUhngJzc=";
    hash = "sha256-srQhZ5eDTelqN2JEoXKpFT2MOy+6v0HhwSRBOU+0qUk=";
  };

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

buildPythonPackage rec {
  pname = "archinfo";
  version = "9.2.124";
  version = "9.2.125";
  pyproject = true;

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

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

buildPythonPackage rec {
  pname = "claripy";
  version = "9.2.124";
  version = "9.2.125";
  pyproject = true;

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

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

let
  # The binaries are following the argr projects release cycle
  version = "9.2.124";
  version = "9.2.125";

  # 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-eUx71aCk0DHtD735YmHS8+awcoN6WYZi1fA8+pS8mXo=";
    hash = "sha256-22srtaY8CWT+XqnSZpMndBEVe20rDL+2LpJr9MByyLU=";
  };
in
buildPythonPackage rec {
@@ -39,7 +39,7 @@ buildPythonPackage rec {
    owner = "angr";
    repo = "cle";
    rev = "refs/tags/v${version}";
    hash = "sha256-qwItp8HHqvjzXJIGfEtGAM09eOhz0GEKPYwgbXJBdXw=";
    hash = "sha256-Xe9tOt94kSKsP0Xc8K0OaeyiUKFUkujZt9AsamgKwBw=";
  };

  build-system = [ setuptools ];
Loading