diff options
author | Nikolay Korotkiy <sikmir@disroot.org> | 2022-12-03 23:51:24 +0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-12-03 23:51:24 +0400 |
commit | 88ae5d08250e206aad599c1bb9692bd9b3dd54c2 (patch) | |
tree | d5fb085118eb51ab0f80baee87956a47e9624f86 | |
parent | 3b8a19424a739f2d02430db340c46e929896a0e4 (diff) | |
parent | d9af397634ce7325d2e6b837ebb19cbfa1e2c18a (diff) |
Merge pull request #202805 from r-ryantm/auto-update/cbmc
cbmc: 5.70.0 -> 5.71.0
-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 0c2b497e9cc47..ddee2351f6f3c 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.70.0"; + version = "5.71.0"; src = fetchFromGitHub { owner = "diffblue"; repo = pname; rev = "${pname}-${version}"; - sha256 = "sha256-fzc/WrHo+B9oscnTqN8nETcKc34aq4fUX8VLpYJUvRY="; + sha256 = "sha256-GApVmLTa1GsZNhwVW6R0KsNJOQH/2qP1CfR7VyP+o8I="; }; nativeBuildInputs = [ |