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
kexec-tools-2.0.29
Compilation or linking failed
Failure log · · This campaign
Via qtbase-6.9.2 → systemd-257.9
x86_64-unknown-linux-gnufilc0-gcc-14.3.0
Compilation or linking failed
Failure log · · This campaign
Via qtbase-6.9.2 → systemd-257.9 → x86_64-unknown-linux-gnufilc0-clang-wrapper-19.1.7
libcbor-0.12.0
Compilation or linking failed
Failure log · · This campaign
Via qtbase-6.9.2 → systemd-257.9 → libfido2-1.15.0
compat-netbsd-9.2
Configuration failed
Failure log · · This campaign
Via qtbase-6.9.2 → systemd-257.9 → getent-getent-netbsd-9.2 → getent-netbsd-9.2
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.