Commit 1dd61a3e authored by R. RyanTM's avatar R. RyanTM
Browse files

cbmc: 5.90.0 -> 5.91.0

parent 79812f80

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 = [