Formal verification tool for distributed software systems
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/sp/spin/package.nixBlocking dependencies
dav1d-1.5.1
Compilation or linking failed
Failure log · · This campaign
Via graphviz-12.2.1 → gd-2.3.3 → libavif-1.2.1
libvmaf-3.0.0
Compilation or linking failed
Failure log · · This campaign
Via graphviz-12.2.1 → gd-2.3.3 → libavif-1.2.1 → libaom-3.11.0
Direct dependencies
bash-5.2p37bison-3.8.2gcc-wrapper-14.3.0graphviz-12.2.1make-shell-wrapper-hooksourcestdenv-linuxswarm-unstable-2019-03-11tk-8.6.16Selected dependents
None recorded.