Purely functional programming language with first class types
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/compilers/idris2/idris2.nixBlocking dependencies
x86_64-unknown-linux-gnufilc0-gcc-14.3.0
Compilation or linking failed
Failure log · · This campaign
Via x86_64-unknown-linux-gnufilc0-clang-wrapper-19.1.7
compiler-rt-libc-19.1.7
Configuration failed
Failure log · · This campaign
Via x86_64-unknown-linux-gnufilc0-clang-wrapper-19.1.7
Direct dependencies
bash-5.2p37chez-scheme-10.2.0chez-scheme-10.2.0gmp-with-cxx-6.3.0make-shell-wrapper-hooksourcestdenv-linuxx86_64-unknown-linux-gnufilc0-clang-wrapper-19.1.7Selected dependents
None recorded.