filnix.pausedLive log

vampire

4.9BlockedDependencies →

Vampire Theorem 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 · 14 Sep 09:23 · This campaign

pkgs/applications/science/logic/vampire/default.nix

Blocking dependencies

Compilation or linking failed

Failure log · 14 Sep 07:05 · This campaign

Direct dependencies

bash-5.2p37 source stdenv-linux z3-4.15.1 zlib-1.3

Selected dependents

None recorded.