nixpkgs-suyu/pkgs/development/compilers/kind2
..
default.nix