filnix.pausedLive log

cadical

2.1.3FailedDependencies →

Simplified Satisfiability Solver

Build failed; an explicit retry is required.

Failure log · 13 Sep 21:28 · This campaign

Planning log · 13 Sep 20:46 · This campaign

pkgs/by-name/ca/cadical/package.nix

Direct dependencies

bash-5.2p37 cadical.pc copy-pkg-config-items-hook source stdenv-linux

Selected dependents

bitwuzla klee lean4 stp