> ( two occurrences of optionnal changed to optional) and rerunning 
> apt-get update, the file is downloaded again and I am where I started.

Try:

# apt-get check

That might fix the problem, not sure.

/Marcus


Reply via email to