gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

cbmc: 6.9.0 -> 6.10.0 (#534975)

Browse Source
This commit is contained in:
Peder Bergebakken Sundt
2026-06-28 00:19:10 +00:00
committed by GitHub
parent 5ace5b7b73 357f8ae389
commit 469e9acebe
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/by-name/cb/cbmc/package.nix
+2 -2
View File
@@ -17,13 +17,13 @@
stdenv.mkDerivation (finalAttrs: {
pname = "cbmc";
version = "6.9.0";
version = "6.10.0";
src = fetchFromGitHub {
owner = "diffblue";
repo = "cbmc";
tag = "cbmc-${finalAttrs.version}";
hash = "sha256-SMJBnzoyTwcwJa9L2X1iX2W4Z/Mwoirf8EXfoyG0dRI=";
hash = "sha256-GCagpb2TFhOEH+lzMth+PWiJxlEw0L+H1DYUEQoMF3g=";
};
srcglucose = fetchFromGitHub {