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

python312Packages.cle: 9.2.119 -> 9.2.122 (#347358)

parents a1fa734c c7482866

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.119";

  version = "9.2.122";

  pyproject = true;



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

    repo = "ailment";

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

    hash = "sha256-mVzgwCzCba4xNJMbrDTRRHFUQ48tKihm3VGqpFq6Heo=";

    hash = "sha256-e+SDgi0bhiE0MdhRxxFlkKU0N5ExfehbEOOyO4+wAzQ=";

  };



  build-system = [ setuptools ];

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.119";

  version = "9.2.122";

  pyproject = true;



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

    repo = "archinfo";

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

    hash = "sha256-81vaHTzRCOw8C/KHwFSEMGOWEwpHVK0HicGVi9j4MqU=";

    hash = "sha256-WmwKpd1c53o/wanvyVPIkXwdwEmKtXvaCa2YIcIsGIU=";

  };



  build-system = [ setuptools ];

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

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


buildPythonPackage rec {

  pname = "claripy";

  version = "9.2.119";

  version = "9.2.122";

  pyproject = true;



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

    repo = "claripy";

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

    hash = "sha256-dnx5aiZ8ssgC0SFEipYuCXbYbdLt7Ma6xBfN1OlO8Do=";

    hash = "sha256-UxWPOyrV8Yzzi9TKFlCenP8ZXXjf6sd92naALkqgmkA=";

  };



  # z3 does not provide a dist-info, so python-runtime-deps-check will fail

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.119";

  version = "9.2.122";



  # 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-cIh8ahJGEVzKSylCBVF1RbNftqADjewuiybPiCWfmhw=";

    hash = "sha256-/TGedNB6JNYjIy0a8yyyZtuUyLEYFJ2CBmvWS/PS1jA=";

  };

in

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

    repo = "cle";

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

    hash = "sha256-jOqhwSxdHJsNUZqx/ViPDh09Uk+2hqyxm4p8XwyHZ0k=";

    hash = "sha256-G/5KYB6np4Y5RTA65WyGvT1I5LyQ2WXJmu5OtXdKmLg=";

  };



  build-system = [ setuptools ];

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

+2 −2
Original line number Diff line number Diff line
@@ -12,14 +12,14 @@ 


buildPythonPackage rec {

  pname = "pyvex";

  version = "9.2.119";

  version = "9.2.122";

  pyproject = true;



  disabled = pythonOlder "3.11";



  src = fetchPypi {

    inherit pname version;

    hash = "sha256-c9CaftT7VInEMRsWN7FhDHwXJccma5wkUfiN9EpjUTQ=";

    hash = "sha256-YfOjjDlu2bkwUGGm0Sk0QfG+uJcezYKjQvditRLYPT8=";

  };



  build-system = [ setuptools ];