On Thu, 28 Jun 2012 07:52:41 +0100 "Brad Rogers b...@fineby.me.uk"
 suggested this:

>You did 'apt-get update' after changing the sources.list, didn't you?
>It looks as though you did, but to be sure.....

I did, but thanks for the pointer in case I forgot.
A kind reply from Christian Marillat says that there was a problem with
his repository, but that's now fixed.

Thanks again.
Charlie
-- 
**  **  **  **  **  **  **  **  **  **
Registered Linux User:- 329524
***********************************************

'Come to the edge', he said. They said..'We are afraid'. 'Come to the
edge', he said. They came, he pushed them .... And they flew.
-----Guillaume Apollinaire

***********************************************
Debian GNU/Linux - just the best way to create magic
_______________________________________________


-- 
To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org 
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20120628201459.214da267@nomad

Reply via email to