filnix.pausedLive log

opensmt

2.7.0FailedDependencies →

Satisfiability modulo theory (SMT) solver

Build failed; an explicit retry is required.

Failure log · 14 Sep 06:18 · This campaign

Planning log · 14 Sep 05:38 · This campaign

pkgs/by-name/op/opensmt/package.nix

Direct dependencies

bash-5.2p37 bison-3.8.2 cmake-3.31.6 flex-2.6.4 gmp-with-cxx-6.3.0 libedit-20240808-3.1 source source stdenv-linux

Selected dependents

None recorded.