Unverified Commit db43face authored by Yohann Boniface's avatar Yohann Boniface Committed by GitHub
Browse files

cbmc: 6.7.1 -> 6.8.0 (#459775)

parents 140ef52f 90d47a97

pkgs/by-name/cb/cbmc/package.nix

+2 −2
Original line number Diff line number Diff line
@@ -17,13 +17,13 @@ 


stdenv.mkDerivation (finalAttrs: {

  pname = "cbmc";

  version = "6.7.1";

  version = "6.8.0";



  src = fetchFromGitHub {

    owner = "diffblue";

    repo = "cbmc";

    tag = "cbmc-${finalAttrs.version}";

    hash = "sha256-GUY4Evya0GQksl0R4b01UDSvoxUEOOeq4oOIblmoF5o=";

    hash = "sha256-PT6AYiwkplCeyMREZnGZA0BKl4ZESRC02/9ibKg7mYU=";

  };



  srcglucose = fetchFromGitHub {