Unverified Commit b5416bf8 authored by Weijia Wang's avatar Weijia Wang Committed by GitHub
Browse files

Merge pull request #246593 from jiegec/auto-update/cbmc 

cbmc: 5.87.0 -> 5.88.1
parents 308bac15 b96dbd03

pkgs/applications/science/logic/cbmc/default.nix

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


stdenv.mkDerivation rec {

  pname = "cbmc";

  version = "5.87.0";

  version = "5.88.1";



  src = fetchFromGitHub {

    owner = "diffblue";

    repo = pname;

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

    sha256 = "sha256-aBqJqsZK5O3yWTQ1BEej0eeDI8JcsnO6sIv7eH6wnkw=";

    sha256 = "sha256-bfrtYqTMU/Nib0wZjS/t0kg5sBsuQuq9GaHX4PxL7tU=";

  };



  nativeBuildInputs = [