Interpreter and prover for a Lisp dialect
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/interpreters/acl2/default.nixBlocking dependencies
gcc-14.3.0
Compilation or linking failed
Failure log · · This campaign
Via sbcl-2.5.4 → sbcl-2.5.4 → ecl-24.5.10 → gcc-wrapper-14.3.0
Direct dependencies
0001-Fix-some-paths-for-Nix-build.patchbash-5.2p37fix-fastnumio-on-newer-sbcl.patchlibipasirglucose4-2017sbcl-2.5.4sourcestdenv-linuxSelected dependents
None recorded.