@@ -13,7 +13,7 @@
1313
1414buildPythonPackage rec {
1515 pname = "claripy";
16− version = "9.1.11611";
16+ version = "9.1.11752";
1717 format = "setuptools";
1818
1919 disabled = pythonOlder "3.6";
@@ -22,7 +22,7 @@ buildPythonPackage rec {
2222 owner = "angr";
2323 repo = pname;
2424 rev = "v${version}";
25− sha256 = "sha256-i2JrV9FEQyAzjdQUJb/b9MnET5h4ISTkcwc3n9poqtI=";
25+ sha256 = "sha256-Z50oKwS0MZVBEUeXfj9cgtPYXFAYf4i7QkgJiXdWrxo=";
2626 };
2727
2828 propagatedBuildInputs = [