···

       
13
       
13
       
 
       


     

       
14
       
14
       
 
       
stdenv.mkDerivation rec {

     

       
15
       
15
       
 
       
  pname = "cbmc";

     

       
16
       
16
       
-
       
  version = "5.86.0";

     

       
16
       
16
       
+
       
  version = "5.87.0";

     

       
17
       
17
       
 
       


     

       
18
       
18
       
 
       
  src = fetchFromGitHub {

     

       
19
       
19
       
 
       
    owner = "diffblue";

     

       
20
       
20
       
 
       
    repo = pname;

     

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

     

       
22
       
22
       
-
       
    sha256 = "sha256-7nlon04EAaAmoTme15PNl2RwTfayXo0YokRLtQLN9/s=";

     

       
22
       
22
       
+
       
    sha256 = "sha256-aBqJqsZK5O3yWTQ1BEej0eeDI8JcsnO6sIv7eH6wnkw=";

     

       
23
       
23
       
 
       
  };

     

       
24
       
24
       
 
       


     

       
25
       
25
       
 
       
  nativeBuildInputs = [