filnix.runningLive log

z3-tptp

4.15.1BlockedDependencies →

TPTP wrapper for Z3 prover

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 · 15 Sep 12:45 · This campaign

pkgs/by-name/z3/z3-tptp/package.nix

Blocking dependencies

Compilation or linking failed

Failure log · 15 Sep 09:14 · This campaign

Direct dependencies

bash-5.2p37 cmake-3.31.6 source stdenv-linux z3-4.15.1

Selected dependents

None recorded.