Se você ainda quiser o repositor, existe esse aqui abaixo. Ele possuir porte dos apps do Mint para outras distros.