filnix.runningLive log

cbmc-viewer

3.8BlockedDependencies →

Produces browsable summary of CBMC model checker output

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 22:10 · This campaign

pkgs/by-name/cb/cbmc-viewer/package.nix

Blocking dependencies

python3.12-voluptuous-0.15.2

Tests failed

Failure log · 14 Sep 23:32 · This campaign

Direct dependencies

bash-5.2p37 cbmc-viewer-3.8.tar.gz ensure-newer-sources-hook pypa-build-hook.sh pypa-install-hook python-namespaces-hook.sh python-output-dist-hook python-remove-bin-bytecode-hook python-remove-tests-dir-hook python-runtime-deps-check-hook.sh python3-3.12.11 python3-3.12.5 python3.12-jinja2-3.1.6 python3.12-setuptools-78.1.1 python3.12-voluptuous-0.15.2 stdenv-linux wrap-python-hook

Selected dependents

None recorded.