Obrigado pela informação. Eu baixei no site oficial, e instalei de lá conforme instruído aqui. Estou usando o Debian 8.5 Jessie. O interessante é que o instalador é para i386, mas o meu notebook é 64bits. Esta funcionando corretamente.