High-performance theorem prover and SMT solver
Blocked by failed dependencies; not queued for a build.
No build output for this package in this campaign. Open a dependency's failure log below.
Planning log · · This campaign
pkgs/by-name/cv/cvc4/package.nixBlocking dependencies
x86_64-unknown-linux-gnufilc0-gcc-14.3.0
Compilation or linking failed
Failure log · · This campaign
Via cln-1.3.7 → stdenv-linux → x86_64-unknown-linux-gnufilc0-gcc-wrapper-14.3.0