Probabalistic Symbolic Model Checker
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/pr/prism-model-checker/package.nixBlocking dependencies
Direct dependencies
bash-5.2p37copy-desktop-items-hookmake-shell-wrapper-hookopenjdk-21.0.8+9openjdk-21.0.8+9prism-model-checker-xprism.desktopsourcestdenv-linuxSelected dependents
None recorded.