/pkgs/tools/misc/mcrl2/
../
default.nix