cbmc: 6.7.1 -> 6.8.0

2025-11-08 14:55:07 +00:00
parent 8d35636e60
commit 90d47a976c
1 changed files with 2 additions and 2 deletions
@@ -17,13 +17,13 @@

 stdenv.mkDerivation (finalAttrs: {
  pname = "cbmc";
-  version = "6.7.1";
+  version = "6.8.0";

  src = fetchFromGitHub {
    owner = "diffblue";
    repo = "cbmc";
    tag = "cbmc-${finalAttrs.version}";
-    hash = "sha256-GUY4Evya0GQksl0R4b01UDSvoxUEOOeq4oOIblmoF5o=";
+    hash = "sha256-PT6AYiwkplCeyMREZnGZA0BKl4ZESRC02/9ibKg7mYU=";
  };

  srcglucose = fetchFromGitHub {