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

Merge pull request #309926 from fabaff/angr-bump

 python312Packages.angr: 9.2.101 -> 9.2.102 
parents fbd33b5f cf032999
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.101";
  version = "9.2.102";
  pyproject = true;

  disabled = pythonOlder "3.11";
@@ -18,7 +18,7 @@ buildPythonPackage rec {
    owner = "angr";
    repo = "ailment";
    rev = "refs/tags/v${version}";
    hash = "sha256-3JPoO9GpnVEc4UQhhXxpj53PwK5eRsy6Ikt4qw5jGa8=";
    hash = "sha256-xHxWP16XbVcsT+UIyouqyhbnxPBNx7oH1unBhJU44fI=";
  };

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

buildPythonPackage rec {
  pname = "angr";
  version = "9.2.101";
  version = "9.2.102";
  pyproject = true;

  disabled = pythonOlder "3.11";
@@ -46,7 +46,7 @@ buildPythonPackage rec {
    owner = "angr";
    repo = "angr";
    rev = "refs/tags/v${version}";
    hash = "sha256-btj1bGpS/t1uQxmMiZ+PTBqiIb7eigg1vGTPjzr4/p4=";
    hash = "sha256-NZO4aQQfp+P9nbVr+cFd5Z2Ziz9cYzuLUi6nVY+Czr0=";
  };

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

buildPythonPackage rec {
  pname = "archinfo";
  version = "9.2.101";
  version = "9.2.102";
  pyproject = true;

  disabled = pythonOlder "3.8";
@@ -19,7 +19,7 @@ buildPythonPackage rec {
    owner = "angr";
    repo = "archinfo";
    rev = "refs/tags/v${version}";
    hash = "sha256-58iijDVs4OqZytHDjhGqYRMSIVGPCWTUNRy74OQZcPw=";
    hash = "sha256-aZwU/i1tBT6M5+PNR77vYzPKklWERXhvG1kknwC0RQQ=";
  };

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

buildPythonPackage rec {
  pname = "claripy";
  version = "9.2.101";
  version = "9.2.102";
  pyproject = true;

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

  # 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.101";
  version = "9.2.102";

  # 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-8uvhjxZOgMjE2csOxS+kUPeo/pswovBDOLp5w8d4JSk=";
    hash = "sha256-6FVxlQ1MiJP2mtu4V/mPAyaeCRdBp/sk+u4fdFqxTyA=";
  };
in
buildPythonPackage rec {
@@ -39,7 +39,7 @@ buildPythonPackage rec {
    owner = "angr";
    repo = "cle";
    rev = "refs/tags/v${version}";
    hash = "sha256-cG9j3cMDwjm2DGvvgJgYfigf5e/61HKWFudgezE2zz8=";
    hash = "sha256-BPKNrFBEKV8UuSdrl+HIgBqFClHTvRsGidz+X81bBLI=";
  };

  build-system = [ setuptools ];
Loading