filnix.pausedLive log

cbmc

6.4.1FailedDependencies →

CBMC is a Bounded Model Checker for C and C++ programs

Build failed; an explicit retry is required.

Failure log · 13 Sep 21:34 · This campaign

Planning log · 13 Sep 20:53 · This campaign

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

Direct dependencies

0001-Do-not-download-sources-in-cmake.patch 684bf4221c8737952e6469304f5a360dc3d5439d.patch bash-5.2p37 bison-3.8.2 cmake-3.31.6 flex-2.6.4 make-shell-wrapper-hook perl-5.40.0 source source source stdenv-linux version-check-hook

Selected dependents

None recorded.