Delta debugger for SMT benchmarks in SMT-LIB v2
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 · · This campaign
pkgs/by-name/dd/ddsmt/package.nixBlocking dependencies
libaom-3.11.0
Compilation or linking failed
Failure log · · This campaign
Via python3.12-gprof2dot-2025.04.14 → graphviz-12.2.1 → gd-2.3.3 → libavif-1.2.1
Direct dependencies
bash-5.2p37ddSMT-2.0.3.tar.gzensure-newer-sources-hookpypa-build-hook.shpypa-install-hookpython-namespaces-hook.shpython-output-dist-hookpython-remove-bin-bytecode-hookpython-remove-tests-dir-hookpython-runtime-deps-check-hook.shpython3-3.12.11python3-3.12.5python3.12-gprof2dot-2025.04.14python3.12-progressbar-2.5python3.12-setuptools-78.1.1stdenv-linuxwrap-python-hookSelected dependents
None recorded.