Java formal verification tool
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/ke/key/package.nixBlocking dependencies
Direct dependencies
KeY.desktopbash-5.2p37copy-desktop-items-hookcvc5-1.2.1gradle-8.14.3key-depsmake-shell-wrapper-hookopenjdk-21.0.8+9openjdk-21.0.8+9remove-eisop-checker.patchsourcestdenv-linuxz3-4.15.1Selected dependents
None recorded.