talexander/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Releases Activity

cbmc: 6.6.0 -> 6.7.0

Browse Source
This commit is contained in:
R. Ryantm 2025-06-29 00:27:25 +00:00
parent 7fdb86a635
commit f505095aaa
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/by-name/cb/cbmc/package.nix
View File

@ -17,13 +17,13 @@
stdenv.mkDerivation (finalAttrs: {
pname = "cbmc";
version = "6.6.0";
version = "6.7.0";
src = fetchFromGitHub {
owner = "diffblue";
repo = "cbmc";
tag = "cbmc-${finalAttrs.version}";
hash = "sha256-ot0vVBgiSVru/RE7KeyTsXzDfs0CSa5vaFsON+PCZZo=";
hash = "sha256-a2Lc4Vou+tND/d8bRw9MpjWrPgdE9gwisfT+xbHUMjY=";
};
srcglucose = fetchFromGitHub {