On Wed, 18 Oct 2000, Jeff Green wrote: > Surely a quick trip to /var/cache/apt/archives and a run of dpkg -i with > the right package names would have fixed this, if apt-get doesn't apt-get install with the right package names would have also fixed it, and told you when you finally got the right package names. Jason