synaptic reinstalls old versions

[n dhert]

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
Ign http://be.archive.ubuntu.com jaunty/main Translation-en_US
Ign http://be.archive.ubuntu.com jaunty/restricted Translation-en_US
Ign http://be.archive.ubuntu.com jaunty/universe Translation-en_US
Ign http://be.archive.ubuntu.com jaunty/multiverse Translation-en_US
Hit http://be.archive.ubuntu.com jaunty-updates Release.gpg
Ign http://be.archive.ubuntu.com jaunty-updates/main Translation-en_US
Hit http://security.ubuntu.com jaunty-security Release.gpg
Ign http://security.ubuntu.com jaunty-security/main Translation-en_US
Ign http://be.archive.ubuntu.com jaunty-updates/restricted Translation-en_US
Ign http://be.archive.ubuntu.com jaunty-updates/universe Translation-en_US
Ign http://be.archive.ubuntu.com jaunty-updates/multiverse Translation-en_US
Hit http://be.archive.ubuntu.com jaunty Release
Hit http://be.archive.ubuntu.com jaunty-updates Release
Ign http://security.ubuntu.com jaunty-security/restricted Translation-en_US
Ign http://security.ubuntu.com jaunty-security/universe Translation-en_US
Ign http://security.ubuntu.com jaunty-security/multiverse Translation-en_US
Hit http://security.ubuntu.com jaunty-security Release
Hit http://be.archive.ubuntu.com jaunty/main Packages
Hit http://be.archive.ubuntu.com jaunty/restricted Packages
Hit http://be.archive.ubuntu.com jaunty/main Sources
Hit http://be.archive.ubuntu.com jaunty/restricted Sources
Hit http://be.archive.ubuntu.com jaunty/universe Packages
Hit http://be.archive.ubuntu.com jaunty/universe Sources
Hit http://be.archive.ubuntu.com jaunty/multiverse Packages
Hit http://be.archive.ubuntu.com jaunty/multiverse Sources
Hit http://be.archive.ubuntu.com jaunty-updates/main Packages
Hit http://be.archive.ubuntu.com jaunty-updates/restricted Packages
Hit http://be.archive.ubuntu.com jaunty-updates/main Sources
Hit http://be.archive.ubuntu.com jaunty-updates/restricted Sources
Hit http://be.archive.ubuntu.com jaunty-updates/universe Packages
Hit http://be.archive.ubuntu.com jaunty-updates/universe Sources
Hit http://be.archive.ubuntu.com jaunty-updates/multiverse Packages
Hit http://be.archive.ubuntu.com jaunty-updates/multiverse Sources
Hit http://security.ubuntu.com jaunty-security/main Packages
Hit http://security.ubuntu.com jaunty-security/restricted Packages
Hit http://security.ubuntu.com jaunty-security/main Sources
Hit http://security.ubuntu.com jaunty-security/restricted Sources
Hit http://security.ubuntu.com jaunty-security/universe Packages
Hit http://security.ubuntu.com jaunty-security/universe Sources
Hit http://security.ubuntu.com jaunty-security/multiverse Packages
Hit http://security.ubuntu.com jaunty-security/multiverse Sources
Reading package lists... Done
$

no trace of ppa.launchpad.net/team-electronics/ppa/ubuntu in that ... (??)

Also tried in Synaptic the Reload button but no help ...


2009/12/17 n dhert <ndhertubu at gmail.com>

> Although I have executed sudo apt-get update, and /etc/apt/sources.lst
> contains the correct lines, it seems not registrered :
>  $ apt-cache policy verilog
> verilog:
>   Installed: 0.8.6-1
>   Candidate: 0.8.6-1
>   Version table:
>  *** 0.8.6-1 0
>         500 http://be.archive.ubuntu.com jaunty/universe Packages
>         100 /var/lib/dpkg/status
> and hence no way to get a higher version of verilog ..
>
>
>
> 2009/12/17 Tim Frost <timfrost at xtra.co.nz>
>
>>   On Thu, 2009-12-17 at 07:21 +0100, n dhert wrote:
>> > Don't understand your answer ..
>> > I made no typing error in the lines in /etc/apt/sources.lst
>> > (in the message below there are lines inserted but these are inserted
>> > by this forum, don' know why, but is not part of my input).
>>
>> I run karmic, but have just added the jaunty PPA entry to my system and
>> done an update (sudo apt-get update, or do a reload in synaptic or
>> software sources).  After that, I see two versions of verilog:
>>
>> $ apt-cache policy verilog
>> verilog:
>>  Installed: (none)
>>  Candidate: 0.9.1-1
>>  Version table:
>>     0.9.1-1 0
>>        500 http://nz2.archive.ubuntu.com karmic/universe Packages
>>     0.9.1-0~jaunty0 0
>>        500 http://ppa.launchpad.net jaunty/main Packages
>>
>>
>> What do you get from that command?  If it doesn't list the PPA, then you
>> haven't successfully added the PPA, or else you haven't updated the list
>> of available packages ( the reload button in synaptic or when exiting
>> 'software sources', or the command 'sudo apt-get update')
>> >
>>
>> Tim
>>
>>
>> --
>> Tim Frost <timfrost at xtra.co.nz>
>>
>> --
>> ubuntu-users mailing list
>> ubuntu-users at lists.ubuntu.com
>> Modify settings or unsubscribe at:
>> https://lists.ubuntu.com/mailman/listinfo/ubuntu-users
>>
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.ubuntu.com/archives/ubuntu-users/attachments/20091217/1565bf0d/attachment.html>