mmj2

2.5.2-unstable-2023-06-27BlockedDependencies →

GUI Proof Assistant for the Metamath project

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/mm/mmj2/package.nix

Blocking dependencies

openjdk-21.0.8+9

Configuration failed

Failure log · · This campaign

openjdk-headless-21.0.8+9

Configuration failed

Failure log · · This campaign

Via maven-3.9.9

perl-5.40.0

Compilation or linking failed

Failure log · · This campaign

Via mmj2-2.5.2-unstable-2023-06-27-maven-deps → jre-generate-cacerts → jre-generate-cacerts → perl-5.40.0-env