klee 2.3 -> 3.0 https://repology.org/project/klee/versions
attrpath: klee
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/klee/default.nix b/pkgs/applications/science/logic/klee/default.nix
index a82d9c51e3b..7e9973985d9 100644
--- a/pkgs/applications/science/logic/klee/default.nix
+++ b/pkgs/applications/science/logic/klee/default.nix
@@ -45,13 +45,13 @@ let
   };
 in stdenv.mkDerivation rec {
   pname = "klee";
-  version = "2.3";
+  version = "3.0";
 
   src = fetchFromGitHub {
     owner = "klee";
     repo = "klee";
     rev = "v${version}";
-    sha256 = "sha256-E1c6K6Q+LAWm342W8I00JI6+LMvqmULHZLkv9Kj5RmY=";
+    sha256 = "sha256-y5lWmtIcLAthQ0oHYQNd+ir75YaxHZR9Jgiz+ZUFQjY=";
   };
 
   buildInputs = [

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 klee
nix build failed.
[  4%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprRewriter.cpp.o
[  4%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/RNG.cpp.o
[  4%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprVisitor.cpp.o
[  4%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Assignment.cpp.o
[  4%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/AssignmentGenerator.cpp.o
[  5%] Linking CXX shared library ../../lib/libkleeRuntest.so
[  5%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Constraints.cpp.o
[  5%] Built target kleeRuntest
[  6%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprBuilder.cpp.o
[  6%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/Time.cpp.o
[  6%] Linking CXX static library ../libkleeBasic.a
[  6%] Built target kleeBasic
[  6%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/Timer.cpp.o
[  6%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/TreeStream.cpp.o
[  6%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Expr.cpp.o
[  6%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprPPrinter.cpp.o
[  6%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprEvaluator.cpp.o
[  6%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprSMTLIBPrinter.cpp.o
[  7%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprUtil.cpp.o
[  7%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprVisitor.cpp.o
[  7%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Lexer.cpp.o
[  7%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Parser.cpp.o
[  7%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Updates.cpp.o
[  8%] Linking CXX static library ../libkleeSupport.a
[  8%] Built target kleeSupport
[  9%] Linking CXX static library ../libkleaverExpr.a
[  9%] Built target kleaverExpr
[  9%] Linking CXX static library ../../../lib/libgtest.a
[  9%] Built target gtest
make: *** [Makefile:136: all] Error 2
 
klee 2.3 -> 3.0 https://github.com/klee/klee/releases
attrpath: klee
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/klee/default.nix b/pkgs/applications/science/logic/klee/default.nix
index a82d9c51e3b..7e9973985d9 100644
--- a/pkgs/applications/science/logic/klee/default.nix
+++ b/pkgs/applications/science/logic/klee/default.nix
@@ -45,13 +45,13 @@ let
   };
 in stdenv.mkDerivation rec {
   pname = "klee";
-  version = "2.3";
+  version = "3.0";
 
   src = fetchFromGitHub {
     owner = "klee";
     repo = "klee";
     rev = "v${version}";
-    sha256 = "sha256-E1c6K6Q+LAWm342W8I00JI6+LMvqmULHZLkv9Kj5RmY=";
+    sha256 = "sha256-y5lWmtIcLAthQ0oHYQNd+ir75YaxHZR9Jgiz+ZUFQjY=";
   };
 
   buildInputs = [

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 klee
nix build failed.
[  3%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/MemoryUsage.cpp.o
make[1]: *** [CMakeFiles/Makefile2:1198: runtime/klee-libc/CMakeFiles/RuntimeKLEELibc.dir/all] Error 2
[  3%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/AssignmentGenerator.cpp.o
[  4%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/PrintVersion.cpp.o
[  4%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/RNG.cpp.o
[  5%] Linking CXX shared library ../../lib/libkleeRuntest.so
[  5%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/Time.cpp.o
[  5%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/Timer.cpp.o
[  5%] Built target kleeRuntest
[  5%] Building CXX object lib/Support/CMakeFiles/kleeSupport.dir/TreeStream.cpp.o
[  5%] Linking CXX static library ../libkleeBasic.a
[  5%] Built target kleeBasic
[  5%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Constraints.cpp.o
[  6%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprBuilder.cpp.o
[  6%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Expr.cpp.o
[  6%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprEvaluator.cpp.o
[  6%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprPPrinter.cpp.o
[  6%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprSMTLIBPrinter.cpp.o
[  7%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprUtil.cpp.o
[  7%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/ExprVisitor.cpp.o
[  7%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Lexer.cpp.o
[  7%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Parser.cpp.o
[  7%] Building CXX object lib/Expr/CMakeFiles/kleaverExpr.dir/Updates.cpp.o
[  8%] Linking CXX static library ../libkleeSupport.a
[  8%] Built target kleeSupport
[  9%] Linking CXX static library ../libkleaverExpr.a
[  9%] Built target kleaverExpr
[  9%] Linking CXX static library ../../../lib/libgtest.a
[  9%] Built target gtest
make: *** [Makefile:136: all] Error 2