格式化我的笔记本电脑后刚刚安装了 Ubuntu 13.04，由于某种原因我无法安装 ghdl。使用此命令添加 ppa 后：
sudo add-apt-repository ppa:pgavin/ghdl
一切都很好，但是当我尝试这样做时：
sudo apt-get install ghdl
我收到一条错误消息：The ghdl package has no available version。
有什么办法解决吗？