Commit 168f304d authored by Sergei Zimmerman's avatar Sergei Zimmerman
Browse files

cbmc: 6.4.0 -> 6.4.1

parent 5ee632be

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.4.0";

  version = "6.4.1";



  src = fetchFromGitHub {

    owner = "diffblue";

    repo = "cbmc";

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

    hash = "sha256-PZZnseOE3nodE0zwyG+82gm55BO4rsCcP4T+fZq7L6I=";

    hash = "sha256-O8aZTW+Eylshl9bmm9GzbljWB0+cj2liZHs2uScERkM=";

  };



  srcglucose = fetchFromGitHub {