Unverified Commit fae6b586 authored by Mario Rodas's avatar Mario Rodas Committed by GitHub
Browse files

Merge pull request #254848 from r-ryantm/auto-update/cbmc 

cbmc: 5.90.0 -> 5.91.0
parents 2fae27b2 1dd61a3e

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

  version = "5.91.0";



  src = fetchFromGitHub {

    owner = "diffblue";

    repo = pname;

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

    sha256 = "sha256-c6Ms/IStmKug5nz37TzjeexkY3YfWaUqEKIC2viMK9g=";

    sha256 = "sha256-7DzhGEDS9T6WIjGoxOw9Gf/q+tYNFJDPbQUBV3tbn/I=";

  };



  nativeBuildInputs = [