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
libaom-3.11.0
Compilation or linking failed
Failure log · · This campaign
Via graphviz-12.2.1 → gd-2.3.3 → libavif-1.2.1
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.