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

Merge pull request #334949 from fabaff/angr-bump 

python311Packages.angr: 9.2.114 -> 9.2.115
parents 5b2f5fe0 6e48259a

pkgs/development/python-modules/ailment/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -9,7 +9,7 @@ 


buildPythonPackage rec {

  pname = "ailment";

  version = "9.2.114";

  version = "9.2.115";

  pyproject = true;



  disabled = pythonOlder "3.11";
@@ -18,7 +18,7 @@ buildPythonPackage rec { 
    owner = "angr";

    repo = "ailment";

    rev = "refs/tags/v${version}";

    hash = "sha256-l/cAGUmvIscZjFzTYNb+tMUPgyDEHt6emYbGjwpuJyU=";

    hash = "sha256-RYsfQNi0TFxyM7Z1l1R3KYkFI7m0TW2+rzj5fEz/ET0=";

  };



  build-system = [ setuptools ];

pkgs/development/python-modules/angr/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -36,7 +36,7 @@ 


buildPythonPackage rec {

  pname = "angr";

  version = "9.2.114";

  version = "9.2.115";

  pyproject = true;



  disabled = pythonOlder "3.11";
@@ -45,7 +45,7 @@ buildPythonPackage rec { 
    owner = "angr";

    repo = "angr";

    rev = "refs/tags/v${version}";

    hash = "sha256-Juv1/N/QdV99P1QupXU+OTl2ycT0SNrQF3PfDvQjb3Y=";

    hash = "sha256-9YMwVi4pQxdIMFfwVdQ8okc+n40qOnUDUYn8Rv3vmWU=";

  };



  pythonRelaxDeps = [ "capstone" ];

pkgs/development/python-modules/archinfo/default.nix

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


buildPythonPackage rec {

  pname = "archinfo";

  version = "9.2.114";

  version = "9.2.115";

  pyproject = true;



  disabled = pythonOlder "3.8";
@@ -19,7 +19,7 @@ buildPythonPackage rec { 
    owner = "angr";

    repo = "archinfo";

    rev = "refs/tags/v${version}";

    hash = "sha256-Ov7jEV4avhdslf6K36lSQpz/bA+riYUKGVtnd3ChXPI=";

    hash = "sha256-MuXECTXmM9oDPZ1P4654Z2DBEjFiq2rao9V5Z476sjk=";

  };



  build-system = [ setuptools ];

pkgs/development/python-modules/claripy/default.nix

+4 −2
Original line number Diff line number Diff line
@@ -8,12 +8,13 @@ 
  pytestCheckHook,

  pythonOlder,

  setuptools,

  typing-extensions,

  z3-solver,

}:



buildPythonPackage rec {

  pname = "claripy";

  version = "9.2.114";

  version = "9.2.115";

  pyproject = true;



  disabled = pythonOlder "3.11";
@@ -22,7 +23,7 @@ buildPythonPackage rec { 
    owner = "angr";

    repo = "claripy";

    rev = "refs/tags/v${version}";

    hash = "sha256-VvYJQK2++wfH9aNR31Cbz8nQalWwbOwiE8YMOhAVG3c=";

    hash = "sha256-KOjLjR59n4D9i12YSBrwyr0B8q2WZ1Y7D3tbWkKL5gY=";

  };



  # z3 does not provide a dist-info, so python-runtime-deps-check will fail
@@ -36,6 +37,7 @@ buildPythonPackage rec { 
    cachetools

    decorator

    pysmt

    typing-extensions

    z3-solver

  ] ++ z3-solver.requiredPythonModules;

pkgs/development/python-modules/cle/default.nix

+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.114";

  version = "9.2.115";



  # 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-M8agIZ4Gk67wKUfKI/13sYAYUta0sWk7cVkM5ayb0V0=";

    hash = "sha256-tAng3ed/oGeFIg1bSugT+s9laLuD9nsuTvLd2lx6Xcs=";

  };

in

buildPythonPackage rec {
@@ -39,7 +39,7 @@ buildPythonPackage rec { 
    owner = "angr";

    repo = "cle";

    rev = "refs/tags/v${version}";

    hash = "sha256-PGAuLW0yTuKrAo+xxlLQnnxugiZAhXQmC89Ve2OY8aY=";

    hash = "sha256-HYALGByZYM2FXXIucYkByZ7C31Mb1ZgiySKDWdk/5GQ=";

  };



  build-system = [ setuptools ];