Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: cvc5 1.3.2 -> 1.3.3 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 34c960f16558..6436020f2c39 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.2";
+  version = "1.3.3";
 
   src = fetchFromGitHub {
     owner = "cvc5";
     repo = "cvc5";
     tag = "cvc5-${finalAttrs.version}";
-    hash = "sha256-Um1x+XgQ5yWSoqtx1ZWbVAnNET2C4GVasIbn0eNfico=";
+    hash = "sha256-tXhOMrf/sZwEZFWB2Amp9lApWEsfuPqaj9H7RmI733o=";
   };
 
   __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.
-- Performing Test HAVE_CXX_FLAG_Wtype_limits - Success
-- Configuring with CXX flag '-Wtype-limits'
-- Performing Test HAVE_C_FLAG_fno_operator_names
-- Performing Test HAVE_C_FLAG_fno_operator_names - Failed
-- Performing Test HAVE_CXX_FLAG_fno_operator_names
-- Performing Test HAVE_CXX_FLAG_fno_operator_names - Success
-- Configuring with CXX flag '-fno-operator-names'
-- Performing Test HAVE_CXX_FLAG_fno_extern_tls_init
-- Performing Test HAVE_CXX_FLAG_fno_extern_tls_init - Success
-- Configuring with CXX flag '-fno-extern-tls-init'
-- Performing Test HAVE_CXX_FLAG_Wclass_memaccess
-- Performing Test HAVE_CXX_FLAG_Wclass_memaccess - Success
-- Configuring with CXX flag '-Wno-class-memaccess'
-- Using GNU gold linker.
-- Disabling unit tests since assertions are disabled.
-- Found Python: /nix/store/zqpk70yqnhw7x5qfg4qmdsfz73wglx10-python3-3.13.12-env/bin/python3.13 (found version "3.13.12") found components: Interpreter
-- Found GMP (unknown version): /nix/store/wqikjqrnbynh44y0nfr16ynyq1g891wf-gmp-with-cxx-6.3.0/lib/libgmp.so
-- Found CaDiCaL 2.1.3
: /nix/store/2akvv6cpg5g2kxkgmy6255b7ykfs8qvx-cadical-2.1.3-lib/lib/libcadical.a
-- System version for Poly has incompatible version: minimum required 0.2.1 but found 0.2.0
CMake Error at cmake/deps-helper.cmake:82 (message):
  Could not find the optional dependency Poly (>= 0.2.1) in the system.  You
  can disable this dependency with --no-poly, install it yourself or use
  --auto-download to let us download and build it for you.
Call Stack (most recent call first):
  cmake/FindPoly.cmake:45 (check_auto_download)
  CMakeLists.txt:612 (find_package)


-- Configuring incomplete, errors occurred!