A dependently typed functional programming language and 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/development/haskell-modules/generic-builder.nixBlocking dependencies
x86_64-unknown-linux-gnufilc0-ghc-9.8.4
Compilation or linking failed
Failure log · · This campaign
Via x86_64-unknown-linux-gnufilc0-ghc-9.8.4-with-packages
Direct dependencies
Agda-2.7.0.1bash-5.2p37librariesmake-shell-wrapper-hookstdenv-linuxx86_64-unknown-linux-gnufilc0-ghc-9.8.4-with-packagesSelected dependents
None recorded.