SMT solver for Monotonic Theories
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/mo/monosat/package.nixBlocking dependencies
perl-5.40.0
Compilation or linking failed
Failure log · · This campaign
Via openjdk-8u442-b06 → jre-generate-cacerts → jre-generate-cacerts → perl-5.40.0-env
Direct dependencies
a5079711d0df0451f9840f3a41248e56dbb03967.patchbash-5.2p37cmake-3.31.6gmp-with-cxx-6.3.0openjdk-8u442-b06sourcestdenv-linuxzlib-1.3Selected dependents
None recorded.