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

cbmc: 6.6.0 -> 6.7.0 (#420891)

Browse Source
This commit is contained in:
Aleksana 2025-07-01 18:29:40 +08:00 committed by GitHub
commit 3be6f8d3ae
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
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: { stdenv.mkDerivation (finalAttrs: {
pname = "cbmc"; pname = "cbmc";
version = "6.6.0"; version = "6.7.0";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "diffblue"; owner = "diffblue";
repo = "cbmc"; repo = "cbmc";
tag = "cbmc-${finalAttrs.version}"; tag = "cbmc-${finalAttrs.version}";
hash = "sha256-ot0vVBgiSVru/RE7KeyTsXzDfs0CSa5vaFsON+PCZZo="; hash = "sha256-a2Lc4Vou+tND/d8bRw9MpjWrPgdE9gwisfT+xbHUMjY=";
}; };
srcglucose = fetchFromGitHub { srcglucose = fetchFromGitHub {