···

       
17
       
17
       
 
       


     

       
18
       
18
       
 
       
let

     

       
19
       
19
       
 
       
  # The binaries are following the argr projects release cycle

     

       
20
       
20
       
-
       
  version = "9.2.153";

     

       
20
       
20
       
+
       
  version = "9.2.154";

     

       
21
       
21
       
 
       


     

       
22
       
22
       
 
       
  # Binary files from https://github.com/angr/binaries (only used for testing and only here)

     

       
23
       
23
       
 
       
  binaries = fetchFromGitHub {

     

       
24
       
24
       
 
       
    owner = "angr";

     

       
25
       
25
       
 
       
    repo = "binaries";

     

       
26
       
26
       
 
       
    rev = "refs/tags/v${version}";

     

       
27
       
27
       
-
       
    hash = "sha256-KvCYnvyFjQdGeNe89ylTDkYrs7RhSeT5RcTRvg9BsQE=";

     

       
27
       
27
       
+
       
    hash = "sha256-XXJBySIT3ylK1nd3suP2bq4bVSVah/1XhOmkEONbCoY=";

     

       
28
       
28
       
 
       
  };

     

       
29
       
29
       
 
       
in

     

       
30
       
30
       
 
       
buildPythonPackage rec {

     
···

       
38
       
38
       
 
       
    owner = "angr";

     

       
39
       
39
       
 
       
    repo = "cle";

     

       
40
       
40
       
 
       
    rev = "refs/tags/v${version}";

     

       
41
       
41
       
-
       
    hash = "sha256-MHQZfRmtq3kueJWOGX06B7W3LLyLReuUcb0D1dy7DMQ=";

     

       
41
       
41
       
+
       
    hash = "sha256-rWbZzm5hWi/C+te8zeQChxqYHO0S795tJ6Znocq9TTs=";

     

       
42
       
42
       
 
       
  };

     

       
43
       
43
       
 
       


     

       
44
       
44
       
 
       
  build-system = [ setuptools ];