filnix.pausedLive log

boolector

3.2.3FailedDependencies →

Extremely fast SMT solver for bit-vectors and arrays

Build failed; an explicit retry is required.

Failure log · 13 Sep 21:03 · This campaign

Planning log · 13 Sep 20:09 · This campaign

pkgs/by-name/bo/boolector/package.nix

Direct dependencies

bash-5.2p37 btor2tools-unstable-2024-08-07 cmake-3.31.6 gmp-with-cxx-6.3.0 gtest-1.16.0 lingeling-pre1_708beb26 python3-3.12.11 source stdenv-linux update-unit-tests-to-cpp-14.patch

Selected dependents

None recorded.