Você precisa
sudo apt-get update
depois de adicionar o ppa. Então o comando de instalação deve funcionar.
Acabei de instalar o Ubuntu 13.04 depois de formatar meu laptop e, por algum motivo, não consigo instalar o ghdl. Depois de adicionar o ppa com este comando:
sudo add-apt-repository ppa:pgavin/ghdl
está tudo bem, mas quando eu tento fazer:
sudo apt-get install ghdl
Recebo um erro dizendo: The ghdl package has no available version
.
Qualquer maneira de resolver isso?
Você precisa
sudo apt-get update
depois de adicionar o ppa. Então o comando de instalação deve funcionar.
Tags software-installation ppa