···

       
13
       
 
       


     

       
14
       
 
       
stdenv.mkDerivation rec {

     

       
15
       
 
       
  pname = "cbmc";

     

       
16
       
-
       
  version = "5.70.0";

     

       
17
       
 
       


     

       
18
       
 
       
  src = fetchFromGitHub {

     

       
19
       
 
       
    owner = "diffblue";

     

       
20
       
 
       
    repo = pname;

     

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

     

       
22
       
-
       
    sha256 = "sha256-fzc/WrHo+B9oscnTqN8nETcKc34aq4fUX8VLpYJUvRY=";

     

       
23
       
 
       
  };

     

       
24
       
 
       


     

       
25
       
 
       
  nativeBuildInputs = [

     

···

       
13
       
 
       


     

       
14
       
 
       
stdenv.mkDerivation rec {

     

       
15
       
 
       
  pname = "cbmc";

     

       
16
       
+
       
  version = "5.71.0";

     

       
17
       
 
       


     

       
18
       
 
       
  src = fetchFromGitHub {

     

       
19
       
 
       
    owner = "diffblue";

     

       
20
       
 
       
    repo = pname;

     

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

     

       
22
       
+
       
    sha256 = "sha256-GApVmLTa1GsZNhwVW6R0KsNJOQH/2qP1CfR7VyP+o8I=";

     

       
23
       
 
       
  };

     

       
24
       
 
       


     

       
25
       
 
       
  nativeBuildInputs = [