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
gtk+-2.24.33
Compilation or linking failed
Failure log · · This campaign
Via ocaml4.09.1-lablgtk-2.18.13
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
Direct dependencies
bash-5.2p37copy-desktop-items-hookcoqide.desktopcsdp-6.1.1ncurses-6.5ocaml-4.09.1ocaml4.09.1-camlp5-7.14ocaml4.09.1-findlib-1.9.8ocaml4.09.1-lablgtk-2.18.13ocaml4.09.1-num-1.1setupHook.shsourcestdenv-linuxx86_64-unknown-linux-gnufilc0-pkg-config-wrapper-0.29.2Selected dependents
None recorded.