Após o link fornecido, basta clicar na arquitetura do seu sistema operacional (amd64 ou i386) na parte inferior da página. Você será redirecionado para uma página com um link de download para o arquivo .deb correspondente (bem no meio da página). Depois de baixar o arquivo, você pode instalá-lo via sudo dpkg -i <path-to-file>
.
Se isso não funcionar, as soluções fornecidas aqui ainda deve funcionar.
Basicamente, trata-se de instalar versões antigas do MySQL através do gerenciador de pacotes Synaptic (que você pode instalar facilmente digitando sudo apt-get install synaptic
em um terminal se ele ainda não estiver instalado).
Como mencionado na postagem acima, talvez seja necessário adicionar um determinado PPA para a versão específica. Você pode fazer isso com o comando sudo add-apt-repository ppa:<user>/<ppa-name>
- mas tenha cuidado com as fontes nas quais vai confiar.
Para encontrar os PPAs corretos, você precisará usar um mecanismo de pesquisa.