python3Packages.claripy: 9.0.8021 -> 9.0.8761
commitc4b6ca48423060b338b796bdc03afa6c0dbf92d8
authorFabian Affolter <mail@fabian-affolter.ch>
dateWed 7 Jul 2021, 09:11 (5 years ago)
parented0d0e7
pkgs/development/python-modules/claripy/default.nix+2−2
@@ -13,14 +13,14 @@
1313
1414buildPythonPackage rec {
1515 pname = "claripy";
16− version = "9.0.8021";
16+ version = "9.0.8761";
1717 disabled = pythonOlder "3.6";
1818
1919 src = fetchFromGitHub {
2020 owner = "angr";
2121 repo = pname;
2222 rev = "v${version}";
23− sha256 = "sha256-btV6J5r4ogb4yC0G3lyXXkCTnx55nfBkWFH1wgiWtjs=";
23+ sha256 = "sha256-MEG6J7FBjufFqvmfV+LTtgDJb8eZuUrDq4am/mnYCZI=";
2424 };
2525
2626 # Use upstream z3 implementation