python3Packages.claripy: 9.0.9572 -> 9.0.9684
commit13a4868e86e39edf7be8f4a39322ad4e85aed78a
authorFabian Affolter <mail@fabian-affolter.ch>
dateWed 1 Sep 2021, 20:56 (5 years ago)
parent7fb0c12
pkgs/development/python-modules/claripy/default.nix+2−2
@@ -13,14 +13,14 @@
1313
1414buildPythonPackage rec {
1515 pname = "claripy";
16− version = "9.0.9572";
16+ version = "9.0.9684";
1717 disabled = pythonOlder "3.6";
1818
1919 src = fetchFromGitHub {
2020 owner = "angr";
2121 repo = pname;
2222 rev = "v${version}";
23− sha256 = "sha256-YC605gIM+l9Tnx6lu0ayrnYPE6Xx+aTgDXPziFY/lDA=";
23+ sha256 = "sha256-tGRnCsuOLqZmWBcITF0TzgQ7kW6e7wZyhtObyU5Pasw=";
2424 };
2525
2626 # Use upstream z3 implementation