/pkgs/development/compilers/mozart/

• ../
• binary.nix
• default.nix
• patch-limits.diff