Add new comment

Esqueci que estava usando um PPA que é necessário incluir no /etc/apt/sources.list.d/ antes de instalar os pacotes 32 bits:

$ sudo add-apt-repository ppa:openjdk-r/ppa

$ sudo apt-get update