Toolset for model-checking concurrent systems and protocols
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/mc/mcrl2/package.nixBlocking dependencies
Direct dependencies
bash-5.2p37boost-1.87.0cmake-3.31.6glu-9.0.3libglvnd-1.7.0mcrl2-202407.1.tar.gzqtbase-6.9.2stdenv-linuxSelected dependents
None recorded.