$python312Packages.cle: 9.2.122 -> 9.2.124

let

  # The binaries are following the argr projects release cycle

  version = "9.2.122";

  version = "9.2.124";

  # 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-/TGedNB6JNYjIy0a8yyyZtuUyLEYFJ2CBmvWS/PS1jA=";

    hash = "sha256-eUx71aCk0DHtD735YmHS8+awcoN6WYZi1fA8+pS8mXo=";

  };

in

buildPythonPackage rec {

    owner = "angr";

    repo = "cle";

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

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

    hash = "sha256-qwItp8HHqvjzXJIGfEtGAM09eOhz0GEKPYwgbXJBdXw=";

  };

  build-system = [ setuptools ];