Interactive theorem prover based on Higher-Order Logic
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/ho/hol/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.2p37fontconfig-2.16.0graphviz-12.2.1hol-kananaskis-14.tar.gzliberation-fonts-2.1.5polyml-5.9.1stdenv-linuxSelected dependents
None recorded.