Ubuntu
apt package

  1. Bug #476135
  2. Comment #2

Comment 2 for bug 476135

Revision history for this message
Nathaniel Smith (njs) wrote :

No, I forgot about that option at the time, but it would probably work.

I still claim that 'apt-get update' should suffice, though.