Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: cvc5 1.3.3 -> 1.3.4 https://github.com/cvc5/cvc5/releases
attrpath: cvc5
Checking auto update branch...
No auto update branch exists
[version] 
[version] updated version and sha256
[rustCrateVersion] 
[rustCrateVersion] No cargoHash found
[golangModuleVersion] 
[golangModuleVersion] Not a buildGoModule package with vendorHash
[npmDepsVersion] 
[npmDepsVersion] No npmDepsHash
[updateScript] 
[updateScript] skipping because derivation has no updateScript
Diff after rewrites:
diff --git a/pkgs/by-name/cv/cvc5/package.nix b/pkgs/by-name/cv/cvc5/package.nix
index 6436020f2c39..775bb1981bfa 100644
--- a/pkgs/by-name/cv/cvc5/package.nix
+++ b/pkgs/by-name/cv/cvc5/package.nix
@@ -18,13 +18,13 @@
 
 stdenv.mkDerivation (finalAttrs: {
   pname = "cvc5";
-  version = "1.3.3";
+  version = "1.3.4";
 
   src = fetchFromGitHub {
     owner = "cvc5";
     repo = "cvc5";
     tag = "cvc5-${finalAttrs.version}";
-    hash = "sha256-tXhOMrf/sZwEZFWB2Amp9lApWEsfuPqaj9H7RmI733o=";
+    hash = "sha256-PZcOArSTyJzyd2DKT8K0aFC4RlVXgTCnkoU0f08KPfY=";
   };
 
   __structuredAttrs = true;

Received ExitFailure 1 when running
Raw command: nix-build --option sandbox true --arg config "{ allowUnfree = true; allowAliases = false; }" --arg overlays "[ ]" -A cvc5
nix build failed.
	885 - regress0/ff/with_uf5.smt2 (Skipped)
	886 - regress0/ff/with_uf6.smt2 (Skipped)
	887 - regress0/ff/with_uf7.smt2 (Skipped)
	888 - regress0/ff/with_uf8.smt2 (Skipped)
	889 - regress0/ff/with_uf9.smt2 (Skipped)
	890 - regress0/ff/xor_unsound_missing.smt2 (Skipped)
	1180 - regress0/nl/lazard-spurious-root.smt2 (Skipped)
	1429 - regress0/print_define_fun_internal.smt2 (Skipped)
	2514 - regress0/use_approx/bug812_approx.smt2 (Skipped)
	2515 - regress0/use_approx/error0_approx.smt2 (Skipped)
	2516 - regress0/use_approx/issue2429_approx.smt2 (Skipped)
	2517 - regress0/use_approx/issue4714_approx.smt2 (Skipped)
	2518 - regress0/use_approx/siegel-nl-bases_approx.smt2 (Skipped)
	2519 - regress0/use_approx/specsharp-WindowsCard.15.RTE.Terminate_System.Int32_approx.smt2 (Skipped)

The following tests FAILED:
	932 - regress0/fp/from_sbv.smt2 (Failed)                regress0
	938 - regress0/fp/issue3582.smt2 (Failed)               regress0
	946 - regress0/fp/issue9078-1.smt2 (Failed)             regress0
	947 - regress0/fp/issue9078-2.smt2 (Failed)             regress0
	948 - regress0/fp/issue9078-3.smt2 (Failed)             regress0
	949 - regress0/fp/issue9505.smt2 (Failed)               regress0
Errors while running CTest
make[3]: *** [test/CMakeFiles/check.dir/build.make:70: test/CMakeFiles/check] Error 8
make[3]: Leaving directory '/build/source/build'
make[2]: *** [CMakeFiles/Makefile2:1475: test/CMakeFiles/check.dir/all] Error 2
make[2]: Leaving directory '/build/source/build'
make[1]: *** [CMakeFiles/Makefile2:1482: test/CMakeFiles/check.dir/rule] Error 2
make[1]: Leaving directory '/build/source/build'
make: *** [Makefile:465: check] Error 2