tjh.dev
python3Packages.claripy: 9.0.10534 -> 9.0.10576
+2
-2
pkgs/development/python-modules/claripy/default.nix
+2
-2
pkgs/development/python-modules/claripy/default.nix
···
13
13
14
14
buildPythonPackage rec {
15
15
pname = "claripy";
16
-
version = "9.0.10534";
16
+
version = "9.0.10576";
17
17
disabled = pythonOlder "3.6";
18
18
19
19
src = fetchFromGitHub {
20
20
owner = "angr";
21
21
repo = pname;
22
22
rev = "v${version}";
23
-
sha256 = "sha256-WeqfNVGQio5ugC14iv0ls5b3O1ymEjfpV8J47cCqXeQ=";
23
+
sha256 = "sha256-86ySQ/2l1h5vayMfAsr9ShyE8oRKL37sT3bfrgIGFHY=";
24
24
};
25
25
26
26
# Use upstream z3 implementation