Commit e9a8b040 authored by Fabian Affolter's avatar Fabian Affolter
Browse files

python3Packages.claripy: 9.0.9297 -> 9.0.9355

parent 61e446e7

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

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


buildPythonPackage rec {

  pname = "claripy";

  version = "9.0.9297";

  version = "9.0.9355";

  disabled = pythonOlder "3.6";



  src = fetchFromGitHub {

    owner = "angr";

    repo = pname;

    rev = "v${version}";

    sha256 = "1lacpdzaifn050msh4rf75qphbh56dc2kdk7m426q4ki3g7026n7";

    sha256 = "1hmxkrzyhrc75z5d2ndf0z8icddrsd278lg640ihdjv1wabsa76w";

  };



  # Use upstream z3 implementation