/nixpkgs/pkgs/development/tools/analysis/emma/