cbmc 5.74.0 -> 5.75.0 https://github.com/diffblue/cbmc/releases
attrpath: cbmc
Checking auto update branch...
No auto update branch exists
[version] 
[version] updated version and sha256
[rustCrateVersion] 
[rustCrateVersion] No cargoSha256 or cargoHash found
[golangModuleVersion] 
[golangModuleVersion] Not a buildGoModule package with vendorSha256 or vendorHash
[updateScript] 
[updateScript] skipping because derivation has no updateScript

[quotedUrls]
[quotedUrls] nothing found to replace
Diff after rewrites:
diff --git a/pkgs/applications/science/logic/cbmc/default.nix b/pkgs/applications/science/logic/cbmc/default.nix
index 4009761e8dc..518bdf25a71 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.74.0";
+  version = "5.75.0";
 
   src = fetchFromGitHub {
     owner = "diffblue";
     repo = pname;
     rev = "${pname}-${version}";
-    sha256 = "sha256-n4a/0Ak2psHDCXykVSPYavuIl22uq2ZP7LUcdSzg1ow=";
+    sha256 = "sha256-7pgPprdsiZIdpqf0qxceRjnT9w6fxtO1ncjHFXe+WnU=";
   };
 
   nativeBuildInputs = [

Received ExitFailure 1 when running
Raw command: /nix/store/3nqhcyc7vid1npgcd0m7arg5sn325nhz-nix-2.12.0/bin/nix-build --option sandbox true --arg config "{ allowBroken = true; allowUnfree = true; allowAliases = false; }" --arg overlays "[ ]" -A cbmc
nix build failed.
-- Adding tests in directory: cbmc-primitives
-- Adding tests in directory: goto-interpreter
-- Adding tests in directory: cbmc-sequentialization
-- Adding tests in directory: cpp-linter
-- Adding tests in directory: catch-framework
-- Adding tests in directory: model_loading
-- Adding tests in directory: snapshot-harness
-- Adding tests in directory: memory-analyzer
-- Adding tests in directory: extract_type_header
CMake Error at /nix/store/j0mq22m4pkizxxpi98x1bbjd3nf7mzfs-cmake-3.24.3/share/cmake-3.24/Modules/ExternalProject.cmake:2789 (message):
  error: could not find git for clone of corrosion-populate
Call Stack (most recent call first):
  /nix/store/j0mq22m4pkizxxpi98x1bbjd3nf7mzfs-cmake-3.24.3/share/cmake-3.24/Modules/ExternalProject.cmake:4170 (_ep_add_download_command)
  CMakeLists.txt:23 (ExternalProject_Add)


-- Configuring incomplete, errors occurred!
See also "/build/source/build/_deps/corrosion-subbuild/CMakeFiles/CMakeOutput.log".

CMake Error at /nix/store/j0mq22m4pkizxxpi98x1bbjd3nf7mzfs-cmake-3.24.3/share/cmake-3.24/Modules/FetchContent.cmake:1592 (message):
  CMake step for corrosion failed: 1
Call Stack (most recent call first):
  /nix/store/j0mq22m4pkizxxpi98x1bbjd3nf7mzfs-cmake-3.24.3/share/cmake-3.24/Modules/FetchContent.cmake:1744:EVAL:2 (__FetchContent_directPopulate)
  /nix/store/j0mq22m4pkizxxpi98x1bbjd3nf7mzfs-cmake-3.24.3/share/cmake-3.24/Modules/FetchContent.cmake:1744 (cmake_language)
  /nix/store/j0mq22m4pkizxxpi98x1bbjd3nf7mzfs-cmake-3.24.3/share/cmake-3.24/Modules/FetchContent.cmake:1958 (FetchContent_Populate)
  CMakeLists.txt:273 (FetchContent_MakeAvailable)


-- Configuring incomplete, errors occurred!
See also "/build/source/build/CMakeFiles/CMakeOutput.log".