Supporting tool for Lean's mathlib
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/development/python-modules/mathlibtools/default.nixBlocking dependencies
Tests failed
Failure log · · This campaign
Via python3.12-pygithub-2.6.1 → python3.12-pynacl-1.5.0
Tests failed
Failure log · · This campaign
Via python3.12-pygithub-2.6.1 → python3.12-deprecated-1.2.18
Tests failed
Failure log · · This campaign
Via python3.12-pygithub-2.6.1 → python3.12-requests-2.32.3
Compilation or linking failed
Failure log · · This campaign
Via python3.12-pygithub-2.6.1 → python3.12-cryptography-44.0.2 → maturin-build-hook.sh → rustc-wrapper-1.86.0
Compilation or linking failed
Failure log · · This campaign
Via python3.12-pydot-3.0.4 → hardcode-graphviz-path.patch → graphviz-12.2.1 → gd-2.3.3 → libavif-1.2.1
Compilation or linking failed
Failure log · · This campaign
Via python3.12-pydot-3.0.4 → hardcode-graphviz-path.patch → graphviz-12.2.1 → gd-2.3.3 → libavif-1.2.1 → libaom-3.11.0
Direct dependencies
bash-5.2p37ensure-newer-sources-hookmathlibtools-1.3.2.tar.gzpypa-install-hookpython-namespaces-hook.shpython-output-dist-hookpython-remove-bin-bytecode-hookpython-remove-tests-dir-hookpython3-3.12.11python3-3.12.5python3.12-atomicwrites-1.4.1python3.12-click-8.1.8python3.12-gitpython-3.1.44python3.12-networkx-3.4.2python3.12-pydot-3.0.4python3.12-pygithub-2.6.1python3.12-pyyaml-6.0.2python3.12-toml-0.10.2python3.12-tqdm-4.67.1setuptools-build-hookstdenv-linuxwrap-python-hookSelected dependents
None recorded.