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

python312Packages.angr: 9.2.148 -> 9.2.149 (#398997)

parents e3966179 7188130f

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

+3 −6
Original line number Diff line number Diff line
@@ -6,12 +6,11 @@ 
  pyvex,

  setuptools,

  typing-extensions,

  nix-update-script,

}:



buildPythonPackage rec {

  pname = "ailment";

  version = "9.2.148";

  version = "9.2.149";

  pyproject = true;



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

    repo = "ailment";

    tag = "v${version}";

    hash = "sha256-mUxpogD1fKKKocT7q9cdHNufkU/oUO+J1ULl9Hp9Lp4=";

    hash = "sha256-hgTJMWprK4M+9Ae/E5jz5mkJjBgro4zYJLrVx96zQ20=";

  };



  build-system = [ setuptools ];
@@ -35,12 +34,10 @@ buildPythonPackage rec { 


  pythonImportsCheck = [ "ailment" ];



  passthru.updateScript = nix-update-script { };



  meta = with lib; {

    description = "Angr Intermediate Language";

    homepage = "https://github.com/angr/ailment";

    license = with licenses; [ bsd2 ];

    license = licenses.bsd2;

    maintainers = with maintainers; [ fab ];

  };

}

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

+5 −6
Original line number Diff line number Diff line
@@ -10,6 +10,7 @@ 
  claripy,

  cle,

  cppheaderparser,

  cxxheaderparser,

  dpkt,

  fetchFromGitHub,

  gitpython,
@@ -33,12 +34,11 @@ 
  sympy,

  unicorn-angr,

  unique-log-filter,

  nix-update-script,

}:



buildPythonPackage rec {

  pname = "angr";

  version = "9.2.148";

  version = "9.2.149";

  pyproject = true;



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

    repo = "angr";

    tag = "v${version}";

    hash = "sha256-WObd/zpoRn4OQO1PWcuv/6odJ0qZnKW7uFx8Z0dUmv8=";

    hash = "sha256-j9Y0AkxiJSOxjztEFtT28Hftyih1Xsy2Aj0M+WSVAAg=";

  };



  pythonRelaxDeps = [ "capstone" ];
@@ -63,6 +63,7 @@ buildPythonPackage rec { 
    claripy

    cle

    cppheaderparser

    cxxheaderparser

    dpkt

    gitpython

    itanium-demangler
@@ -105,12 +106,10 @@ buildPythonPackage rec { 
    "archinfo"

  ];



  passthru.updateScript = nix-update-script { };



  meta = with lib; {

    description = "Powerful and user-friendly binary analysis platform";

    homepage = "https://angr.io/";

    license = with licenses; [ bsd2 ];

    license = licenses.bsd2;

    maintainers = with maintainers; [ fab ];

  };

}

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

+4 −9
Original line number Diff line number Diff line
@@ -6,37 +6,32 @@ 
  pytestCheckHook,

  pythonOlder,

  setuptools,

  nix-update-script,

}:



buildPythonPackage rec {

  pname = "archinfo";

  version = "9.2.148";

  version = "9.2.149";

  pyproject = true;



  disabled = pythonOlder "3.8";

  disabled = pythonOlder "3.12";



  src = fetchFromGitHub {

    owner = "angr";

    repo = "archinfo";

    tag = "v${version}";

    hash = "sha256-htg7lZVRSPnPAcPzTddT/lQ7/9LfHEV40usKASA3EsE=";

    hash = "sha256-hP7rQOEl2BuzNIGT/+S7Gwp6UdLcwWKagq1wCcWV+L4=";

  };



  build-system = [ setuptools ];



  dependencies = lib.optionals (pythonOlder "3.11") [ backports-strenum ];



  nativeCheckInputs = [ pytestCheckHook ];



  pythonImportsCheck = [ "archinfo" ];



  passthru.updateScript = nix-update-script { };



  meta = with lib; {

    description = "Classes with architecture-specific information";

    homepage = "https://github.com/angr/archinfo";

    license = with licenses; [ bsd2 ];

    license = licenses.bsd2;

    maintainers = with maintainers; [ fab ];

  };

}

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

+3 −6
Original line number Diff line number Diff line
@@ -10,12 +10,11 @@ 
  setuptools,

  typing-extensions,

  z3-solver,

  nix-update-script,

}:



buildPythonPackage rec {

  pname = "claripy";

  version = "9.2.148";

  version = "9.2.149";

  pyproject = true;



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

    repo = "claripy";

    tag = "v${version}";

    hash = "sha256-WfDsitb3Ziw3Ss7/zOblBhzfD+foZSGfyD0rGAI+HcA=";

    hash = "sha256-jWT4PhGDxU42DrqV49sz/5bN0653lig9/f0T1zOq6eA=";

  };



  # z3 does not provide a dist-info, so python-runtime-deps-check will fail
@@ -46,12 +45,10 @@ buildPythonPackage rec { 


  pythonImportsCheck = [ "claripy" ];



  passthru.updateScript = nix-update-script { };



  meta = with lib; {

    description = "Python abstraction layer for constraint solvers";

    homepage = "https://github.com/angr/claripy";

    license = with licenses; [ bsd2 ];

    license = licenses.bsd2;

    maintainers = with maintainers; [ fab ];

  };

}

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

+3 −3
Original line number Diff line number Diff line
@@ -17,14 +17,14 @@ 


let

  # The binaries are following the argr projects release cycle

  version = "9.2.148";

  version = "9.2.149";



  # 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-0D77TWGrrqRuGyfGoV46MuOt2P9w/wGSY6C6uzBGVz8=";

    hash = "sha256-W0fMBvoj4M6I+Smutkgw51izFmA/h9gnOG0FwGFr64A=";

  };

in

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

    repo = "cle";

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

    hash = "sha256-TUJUEaf4ishADsbFCBpVk9M5ntbKf/XxyXiPOaBHyC4=";

    hash = "sha256-d1SLJmVLyQ96M9MVsh6+Cm/g+/vJ5x3NTN9as2EKkh8=";

  };



  build-system = [ setuptools ];