High-level specification language
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/by-name/ma/maude/package.nixBlocking dependencies
x86_64-unknown-linux-gnufilc0-gcc-14.3.0
Compilation or linking failed
Failure log · · This campaign
Via cln-1.3.7 → stdenv-linux → x86_64-unknown-linux-gnufilc0-gcc-wrapper-14.3.0
Direct dependencies
Maude3.4.tar.gzbash-5.2p37bison-3.8.2buddy-2.4cln-1.3.7flex-2.6.4gmp-with-cxx-6.3.0libsigsegv-2.14make-shell-wrapper-hookncurses-6.5stdenv-linuxtecla-1.6.3unzip-6.0yices-2.6.5Selected dependents
None recorded.