Automated theorem prover for 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/applications/science/logic/satallax/default.nixBlocking dependencies
x86_64-unknown-linux-gnufilc0-gfortran-14.3.0
Compilation or linking failed
Failure log · · This campaign
Via coq-9.0.0 → csdp-6.1.1
Direct dependencies
bash-5.2p37coq-9.0.0coq-9.0.0eprover-3.2eprover-3.2make-shell-wrapper-hookocaml-4.14.2satallax-2.7.tar.gzstdenv-linuxwhich-2.23zlib-1.3Selected dependents
None recorded.