nixpkgs-suyu/pkgs/tools/misc/mcrl2
..
default.nix