Coq proof assistant
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/applications/science/logic/coq/default.nixBlocking dependencies
dav1d-1.5.1
Compilation or linking failed
Failure log · · This campaign
Via adwaita-icon-theme-48.0 → librsvg-2.60.0
vala-0.56.18
Compilation or linking failed
Failure log · · This campaign
Via adwaita-icon-theme-48.0 → librsvg-2.60.0
x86_64-unknown-linux-gnufilc0-gfortran-14.3.0
Compilation or linking failed
Failure log · · This campaign
Via csdp-6.1.1 → gfortran-14.3.0 → x86_64-unknown-linux-gnufilc0-gfortran-wrapper-14.3.0
rustc-1.86.0
Compilation or linking failed
Failure log · · This campaign
Via adwaita-icon-theme-48.0 → librsvg-2.60.0 → rustc-wrapper-1.86.0
Direct dependencies
adwaita-icon-theme-48.0bash-5.2p37copy-desktop-items-hookcoqide.desktopcsdp-6.1.1glib-2.80.4ncurses-6.5ocaml-4.10.2ocaml4.10.2-findlib-1.9.8ocaml4.10.2-lablgtk3-sourceview3-3.1.5ocaml4.10.2-zarith-1.14setupHook.shsourcestdenv-linuxwrap-gapps-hookx86_64-unknown-linux-gnufilc0-pkg-config-wrapper-0.29.2Selected dependents
None recorded.