diff options
| author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-07-11 16:26:04 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-11 16:26:04 +0300 |
| commit | e2078e747c791cf839664d584628f5f2ee89a32a (patch) | |
| tree | 04c52eae02780fc492b056ab128d1102c134cb29 | |
| parent | d7ef505ab0c07a8c627485ff97f14f93c5d2987e (diff) | |
| parent | 68c5d276f1254ec5827f2118b12016f289841847 (diff) | |
| download | nixpkgs-e2078e747c791cf839664d584628f5f2ee89a32a.tar nixpkgs-e2078e747c791cf839664d584628f5f2ee89a32a.tar.gz nixpkgs-e2078e747c791cf839664d584628f5f2ee89a32a.tar.bz2 nixpkgs-e2078e747c791cf839664d584628f5f2ee89a32a.tar.lz nixpkgs-e2078e747c791cf839664d584628f5f2ee89a32a.tar.xz nixpkgs-e2078e747c791cf839664d584628f5f2ee89a32a.tar.zst nixpkgs-e2078e747c791cf839664d584628f5f2ee89a32a.zip | |
Merge pull request #242775 from r-ryantm/auto-update/cbmc
cbmc: 5.86.0 -> 5.87.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 6cf96ea445a..c24d5bb7f61 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.86.0"; + version = "5.87.0"; src = fetchFromGitHub { owner = "diffblue"; repo = pname; rev = "${pname}-${version}"; - sha256 = "sha256-7nlon04EAaAmoTme15PNl2RwTfayXo0YokRLtQLN9/s="; + sha256 = "sha256-aBqJqsZK5O3yWTQ1BEej0eeDI8JcsnO6sIv7eH6wnkw="; }; nativeBuildInputs = [ |