Open, trustable and efficient SMT-solver
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/verit/default.nixBlocking dependencies
x86_64-unknown-linux-gnufilc0-gcc-14.3.0
Compilation or linking failed
Failure log · · This campaign
Via stdenv-linux → x86_64-unknown-linux-gnufilc0-gcc-wrapper-14.3.0
Direct dependencies
autoreconf-hookbash-5.2p37bison-3.8.2flex-2.6.4flex-2.6.4gmp-with-cxx-6.3.0stdenv-linuxverit-2021.06.2-rmx.tar.gzSelected dependents
None recorded.