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