você pode baixar o pacote MintMenu aqui . Você pode procurar o repositório do Linux Mint 13 se o pacote MintMenu precisar de alguma dependência.
Eu sei que havia alguns PPAs para versões mais antigas do Ubuntu (11.04 e anteriores), quando o Gnome 2 era o ambiente de desktop padrão. Agora, eu instalei o MATE D.E. no Ubuntu 12.04, mas não contém o MintMenu. Então, como posso instalá-lo sem adicionar os repositórios do Linux Mint às fontes de software?
você pode baixar o pacote MintMenu aqui . Você pode procurar o repositório do Linux Mint 13 se o pacote MintMenu precisar de alguma dependência.
Tags menu 12.04 installation mate