python3Packages.claripy: 9.0.9792 -> 9.0.9947
commit4d5f14d5f3123cb4346ee70ebd06c2068f5c16d8
authorFabian Affolter <mail@fabian-affolter.ch>
dateWed 15 Sep 2021, 21:14 (5 years ago)
parent2ceddbd
pkgs/development/python-modules/claripy/default.nix+2−2
@@ -13,14 +13,14 @@
1313
1414buildPythonPackage rec {
1515 pname = "claripy";
16− version = "9.0.9792";
16+ version = "9.0.9947";
1717 disabled = pythonOlder "3.6";
1818
1919 src = fetchFromGitHub {
2020 owner = "angr";
2121 repo = pname;
2222 rev = "v${version}";
23− sha256 = "sha256-9jwD75leV02N5B7RaLF2DbC6GjhoDQMmkfFIO9MJ4Es=";
23+ sha256 = "sha256-3nG173x0N4enGTN52wd0HbHbJJrAI7IKSp7FHQ/v/5U=";
2424 };
2525
2626 # Use upstream z3 implementation