<div>Adding to my previous message, these were the outputs :</div> <div>$ sudo apt-key adv --recv-keys --keyserver <a href="http://keyserver.ubuntu.com">keyserver.ubuntu.com</a> 7FE97A0D3D7F2EA1<br><br>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 <a href="http://keyserver.ubuntu.com">keyserver.ubuntu.com</a> 7FE97A0D3D7F2EA1<br> gpg: requesting key 3D7F2EA1 from hkp server <a href="http://keyserver.ubuntu.com">keyserver.ubuntu.com</a><br>gpg: key 3D7F2EA1: public key "Launchpad HDL" imported<br>gpg: Total number processed: 1<br>gpg: imported: 1 (RSA: 1)<br> </div> <div>$ sudo apt-get update<br>Hit <a href="http://be.archive.ubuntu.com/">http://be.archive.ubuntu.com</a> jaunty Release.gpg<br>Ign <a href="http://be.archive.ubuntu.com/">http://be.archive.ubuntu.com</a> jaunty/main Translation-en_US<br> Ign <a href="http://be.archive.ubuntu.com/">http://be.archive.ubuntu.com</a> jaunty/restricted Translation-en_US<br>Ign <a href="http://be.archive.ubuntu.com/">http://be.archive.ubuntu.com</a> jaunty/universe Translation-en_US<br> Ign <a href="http://be.archive.ubuntu.com/">http://be.archive.ubuntu.com</a> jaunty/multiverse Translation-en_US<br>Hit <a href="http://be.archive.ubuntu.com/">http://be.archive.ubuntu.com</a> jaunty-updates Release.gpg<br> Ign <a href="http://be.archive.ubuntu.com/">http://be.archive.ubuntu.com</a> jaunty-updates/main Translation-en_US<br>Hit <a href="http://security.ubuntu.com/">http://security.ubuntu.com</a> jaunty-security Release.gpg<br> Ign <a href="http://security.ubuntu.com/">http://security.ubuntu.com</a> jaunty-security/main Translation-en_US<br>Ign <a href="http://be.archive.ubuntu.com/">http://be.archive.ubuntu.com</a> jaunty-updates/restricted Translation-en_US<br> Ign <a href="http://be.archive.ubuntu.com/">http://be.archive.ubuntu.com</a> jaunty-updates/universe Translation-en_US<br>Ign <a href="http://be.archive.ubuntu.com/">http://be.archive.ubuntu.com</a> jaunty-updates/multiverse Translation-en_US<br> Hit <a href="http://be.archive.ubuntu.com/">http://be.archive.ubuntu.com</a> jaunty Release<br>Hit <a href="http://be.archive.ubuntu.com/">http://be.archive.ubuntu.com</a> jaunty-updates Release<br>Ign <a href="http://security.ubuntu.com/">http://security.ubuntu.com</a> jaunty-security/restricted Translation-en_US<br> Ign <a href="http://security.ubuntu.com/">http://security.ubuntu.com</a> jaunty-security/universe Translation-en_US<br>Ign <a href="http://security.ubuntu.com/">http://security.ubuntu.com</a> jaunty-security/multiverse Translation-en_US<br> Hit <a href="http://security.ubuntu.com/">http://security.ubuntu.com</a> jaunty-security Release<br>Hit <a href="http://be.archive.ubuntu.com/">http://be.archive.ubuntu.com</a> jaunty/main Packages<br>Hit <a href="http://be.archive.ubuntu.com/">http://be.archive.ubuntu.com</a> jaunty/restricted Packages</div> <div>Hit <a href="http://be.archive.ubuntu.com/">http://be.archive.ubuntu.com</a> jaunty/main Sources<br>Hit <a href="http://be.archive.ubuntu.com/">http://be.archive.ubuntu.com</a> jaunty/restricted Sources<br>Hit <a href="http://be.archive.ubuntu.com/">http://be.archive.ubuntu.com</a> jaunty/universe Packages<br> Hit <a href="http://be.archive.ubuntu.com/">http://be.archive.ubuntu.com</a> jaunty/universe Sources<br>Hit <a href="http://be.archive.ubuntu.com/">http://be.archive.ubuntu.com</a> jaunty/multiverse Packages<br>Hit <a href="http://be.archive.ubuntu.com/">http://be.archive.ubuntu.com</a> jaunty/multiverse Sources<br> Hit <a href="http://be.archive.ubuntu.com/">http://be.archive.ubuntu.com</a> jaunty-updates/main Packages<br>Hit <a href="http://be.archive.ubuntu.com/">http://be.archive.ubuntu.com</a> jaunty-updates/restricted Packages<br> Hit <a href="http://be.archive.ubuntu.com/">http://be.archive.ubuntu.com</a> jaunty-updates/main Sources<br>Hit <a href="http://be.archive.ubuntu.com/">http://be.archive.ubuntu.com</a> jaunty-updates/restricted Sources<br> Hit <a href="http://be.archive.ubuntu.com/">http://be.archive.ubuntu.com</a> jaunty-updates/universe Packages<br>Hit <a href="http://be.archive.ubuntu.com/">http://be.archive.ubuntu.com</a> jaunty-updates/universe Sources<br> Hit <a href="http://be.archive.ubuntu.com/">http://be.archive.ubuntu.com</a> jaunty-updates/multiverse Packages<br>Hit <a href="http://be.archive.ubuntu.com/">http://be.archive.ubuntu.com</a> jaunty-updates/multiverse Sources<br> Hit <a href="http://security.ubuntu.com/">http://security.ubuntu.com</a> jaunty-security/main Packages<br>Hit <a href="http://security.ubuntu.com/">http://security.ubuntu.com</a> jaunty-security/restricted Packages<br>Hit <a href="http://security.ubuntu.com/">http://security.ubuntu.com</a> jaunty-security/main Sources<br> Hit <a href="http://security.ubuntu.com/">http://security.ubuntu.com</a> jaunty-security/restricted Sources<br>Hit <a href="http://security.ubuntu.com/">http://security.ubuntu.com</a> jaunty-security/universe Packages<br> Hit <a href="http://security.ubuntu.com/">http://security.ubuntu.com</a> jaunty-security/universe Sources<br>Hit <a href="http://security.ubuntu.com/">http://security.ubuntu.com</a> jaunty-security/multiverse Packages<br> Hit <a href="http://security.ubuntu.com/">http://security.ubuntu.com</a> jaunty-security/multiverse Sources</div> <div>Reading package lists... Done<br>$</div> <div> </div> <div>no trace of <a href="http://ppa.launchpad.net/team-electronics/ppa/ubuntu">ppa.launchpad.net/team-electronics/ppa/ubuntu</a> in that ... (??)</div> <div> </div> <div>Also tried in Synaptic the Reload button but no help ... <br></div> <div><br> </div> <div class="gmail_quote">2009/12/17 n dhert <span dir="ltr"><<a href="mailto:ndhertubu@gmail.com">ndhertubu@gmail.com</a>></span><br> <blockquote style="BORDER-LEFT: #ccc 1px solid; MARGIN: 0px 0px 0px 0.8ex; PADDING-LEFT: 1ex" class="gmail_quote"> <div>Although I have executed sudo apt-get update, and /etc/apt/sources.lst contains the correct lines, it seems not registrered :</div> <div> <div class="im">$ apt-cache policy verilog<br>verilog:<br></div> Installed: 0.8.6-1<br> Candidate: 0.8.6-1<br> Version table:<br> *** 0.8.6-1 0<br> 500 <a href="http://be.archive.ubuntu.com/" target="_blank">http://be.archive.ubuntu.com</a> jaunty/universe Packages<br> 100 /var/lib/dpkg/status<br>and hence no way to get a higher version of verilog ..</div> <div><br><br> </div> <div class="gmail_quote">2009/12/17 Tim Frost <span dir="ltr"><<a href="mailto:timfrost@xtra.co.nz" target="_blank">timfrost@xtra.co.nz</a>></span><br> <blockquote style="BORDER-LEFT: #ccc 1px solid; MARGIN: 0px 0px 0px 0.8ex; PADDING-LEFT: 1ex" class="gmail_quote"> <div> <div></div> <div class="h5"> <div>On Thu, 2009-12-17 at 07:21 +0100, n dhert wrote:<br>> Don't understand your answer ..<br>> I made no typing error in the lines in /etc/apt/sources.lst<br>> (in the message below there are lines inserted but these are inserted<br> > by this forum, don' know why, but is not part of my input).<br><br></div>I run karmic, but have just added the jaunty PPA entry to my system and<br>done an update (sudo apt-get update, or do a reload in synaptic or<br> software sources). After that, I see two versions of verilog:<br><br>$ apt-cache policy verilog<br>verilog:<br> Installed: (none)<br> Candidate: 0.9.1-1<br> Version table:<br> 0.9.1-1 0<br> 500 <a href="http://nz2.archive.ubuntu.com/" target="_blank">http://nz2.archive.ubuntu.com</a> karmic/universe Packages<br> 0.9.1-0~jaunty0 0<br> 500 <a href="http://ppa.launchpad.net/" target="_blank">http://ppa.launchpad.net</a> jaunty/main Packages<br><br><br>What do you get from that command? If it doesn't list the PPA, then you<br> haven't successfully added the PPA, or else you haven't updated the list<br>of available packages ( the reload button in synaptic or when exiting<br>'software sources', or the command 'sudo apt-get update')<br> ><br><br>Tim<br><font color="#888888"><br><br>--<br>Tim Frost <<a href="mailto:timfrost@xtra.co.nz" target="_blank">timfrost@xtra.co.nz</a>><br></font><br></div></div> <div class="im">--<br>ubuntu-users mailing list<br><a href="mailto:ubuntu-users@lists.ubuntu.com" target="_blank">ubuntu-users@lists.ubuntu.com</a><br>Modify settings or unsubscribe at: <a href="https://lists.ubuntu.com/mailman/listinfo/ubuntu-users" target="_blank">https://lists.ubuntu.com/mailman/listinfo/ubuntu-users</a><br> <br></div></blockquote></div><br></blockquote></div><br>