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

Merge pull request #336705 from fabaff/angr-bump

 python311Packages.angr: 9.2.115 -> 9.2.116 
parents fc00404e 9bc16299
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.115";
  version = "9.2.116";
  pyproject = true;

  disabled = pythonOlder "3.11";
@@ -18,7 +18,7 @@ buildPythonPackage rec {
    owner = "angr";
    repo = "ailment";
    rev = "refs/tags/v${version}";
    hash = "sha256-RYsfQNi0TFxyM7Z1l1R3KYkFI7m0TW2+rzj5fEz/ET0=";
    hash = "sha256-BRT6yboFdQ9/S+XYJAz885QbxbRx/BmL18o3ic4fv7o=";
  };

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

buildPythonPackage rec {
  pname = "angr";
  version = "9.2.115";
  version = "9.2.116";
  pyproject = true;

  disabled = pythonOlder "3.11";
@@ -45,7 +45,7 @@ buildPythonPackage rec {
    owner = "angr";
    repo = "angr";
    rev = "refs/tags/v${version}";
    hash = "sha256-9YMwVi4pQxdIMFfwVdQ8okc+n40qOnUDUYn8Rv3vmWU=";
    hash = "sha256-g/MQ/xbzBjFYbSz8+6pzZBox0ym5GzD6a5crVicOp7E=";
  };

  pythonRelaxDeps = [ "capstone" ];
+2 −2
Original line number Diff line number Diff line
@@ -10,7 +10,7 @@

buildPythonPackage rec {
  pname = "archinfo";
  version = "9.2.115";
  version = "9.2.116";
  pyproject = true;

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

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

buildPythonPackage rec {
  pname = "claripy";
  version = "9.2.115";
  version = "9.2.116";
  pyproject = true;

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

  # 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.115";
  version = "9.2.116";

  # 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-tAng3ed/oGeFIg1bSugT+s9laLuD9nsuTvLd2lx6Xcs=";
    hash = "sha256-FtJ093771M5imQCtBxwDsXn7HctyShaV0QRlU37zCSc=";
  };
in
buildPythonPackage rec {
@@ -39,7 +39,7 @@ buildPythonPackage rec {
    owner = "angr";
    repo = "cle";
    rev = "refs/tags/v${version}";
    hash = "sha256-HYALGByZYM2FXXIucYkByZ7C31Mb1ZgiySKDWdk/5GQ=";
    hash = "sha256-syA0ULbvEP/K9iJLNbmf61eEJh8wckGEEzeGDjhksC8=";
  };

  build-system = [ setuptools ];
Loading