synaptic reinstalls old versions

[NoOp]

On 12/17/2009 05:33 AM, n dhert wrote:
> Adding to my previous message, these were the outputs :
> $ sudo apt-key adv --recv-keys --keyserver keyserver.ubuntu.com7FE97A0D3D7F2EA1
> 
> Executing: gpg --ignore-time-conflict --no-options --no-default-keyring
> --secret-keyring /etc/apt/secring.gpg --trustdb-name /etc/apt/trustdb.gpg
> --keyring /etc/apt/trusted.gpg --recv-keys --keyserver
> keyserver.ubuntu.com7FE97A0D3D7F2EA1
> gpg: requesting key 3D7F2EA1 from hkp server keyserver.ubuntu.com
> gpg: key 3D7F2EA1: public key "Launchpad HDL" imported
> gpg: Total number processed: 1
> gpg:               imported: 1  (RSA: 1)
> $ sudo apt-get update
> Hit http://be.archive.ubuntu.com jaunty Release.gpg
<snips>

I should have caught this the first time around:
> $ sudo gedit /etc/apt/sources.lst

The file to edit and add the ppa is:

$ gksu gedit /etc/apt/sources.list

Use that & then add:
## PPA for Icarus Verilog
deb http://ppa.launchpad.net/team-electronics/ppa/ubuntu jaunty main
deb-src http://ppa.launchpad.net/team-electronics/ppa/ubuntu jaunty main

then

$ sudo apt-get update
$ sudo apt-get install --reinstall verilog