···

       
13
       
13
       
 
       


     

       
14
       
14
       
 
       
stdenv.mkDerivation rec {

     

       
15
       
15
       
 
       
  pname = "cbmc";

     

       
16
       
16
       
-
       
  version = "5.63.0";

     

       
16
       
16
       
+
       
  version = "5.64.0";

     

       
17
       
17
       
 
       


     

       
18
       
18
       
 
       
  src = fetchFromGitHub {

     

       
19
       
19
       
 
       
    owner = "diffblue";

     

       
20
       
20
       
 
       
    repo = pname;

     

       
21
       
21
       
 
       
    rev = "${pname}-${version}";

     

       
22
       
22
       
-
       
    sha256 = "sha256-4tn3wsmaYdo5/QaZc3MLxVGF0x8dmRKeygF/8A+Ww1o=";

     

       
22
       
22
       
+
       
    sha256 = "sha256-FQoUNJV5eq/qGc6fdNlMHQADGipx9dxkb4EFRNX7h6w=";

     

       
23
       
23
       
 
       
  };

     

       
24
       
24
       
 
       


     

       
25
       
25
       
 
       
  nativeBuildInputs = [