diff options
| author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-08-01 23:00:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-01 23:00:00 +0200 |
| commit | b5416bf83765ba82e27d53f18bfbbd4e51950041 (patch) | |
| tree | 0fb1cddd7ff415c6ac27df93af6b7244bd0fa2d1 /pkgs/applications/science | |
| parent | 308bac15b8f6ee809966654089a775fb3ed502bb (diff) | |
| parent | b96dbd032cb63f028c7a66f3b7cafda91c239b9c (diff) | |
Merge pull request #246593 from jiegec/auto-update/cbmc
cbmc: 5.87.0 -> 5.88.1
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/cbmc/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/cbmc/default.nix b/pkgs/applications/science/logic/cbmc/default.nix index c24d5bb7f61d2..c287a74010d57 100644 --- a/pkgs/applications/science/logic/cbmc/default.nix +++ b/pkgs/applications/science/logic/cbmc/default.nix @@ -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 = [ |