Некоторые дистрибутивы, такие как Mint, имеют страницу для дистрибутивных пакетов. Это может занять некоторое время, чтобы найти их, но это возможно. Например, пакеты Mint .deb:
http://www.packages.linuxmint.com/
В вашем случае пакеты Mint 13 должны работать без сбоев. [!d3 ]