···

       
14
       
 
       


     

       
15
       
 
       
buildPythonPackage rec {

     

       
16
       
 
       
  pname = "claripy";

     

       
17
       
-
       
  version = "9.2.153";

     

       
18
       
 
       
  pyproject = true;

     

       
19
       
 
       


     

       
20
       
 
       
  disabled = pythonOlder "3.11";

     
···

       
23
       
 
       
    owner = "angr";

     

       
24
       
 
       
    repo = "claripy";

     

       
25
       
 
       
    tag = "v${version}";

     

       
26
       
-
       
    hash = "sha256-M3rUBZBA8WbvLU0VJb9H2pQU2PePBhqkpM6OsS20Uj4=";

     

       
27
       
 
       
  };

     

       
28
       
 
       


     

       
29
       
 
       
  # z3 does not provide a dist-info, so python-runtime-deps-check will fail

     

···

       
14
       
 
       


     

       
15
       
 
       
buildPythonPackage rec {

     

       
16
       
 
       
  pname = "claripy";

     

       
17
       
+
       
  version = "9.2.154";

     

       
18
       
 
       
  pyproject = true;

     

       
19
       
 
       


     

       
20
       
 
       
  disabled = pythonOlder "3.11";

     
···

       
23
       
 
       
    owner = "angr";

     

       
24
       
 
       
    repo = "claripy";

     

       
25
       
 
       
    tag = "v${version}";

     

       
26
       
+
       
    hash = "sha256-90JX+VDWK/yKhuX6D8hbLxjIOS8vGKrN1PKR8iWjt2o=";

     

       
27
       
 
       
  };

     

       
28
       
 
       


     

       
29
       
 
       
  # z3 does not provide a dist-info, so python-runtime-deps-check will fail