On Wed, 16 Jan 2002, Oliver Elphick wrote: > I interrupted a long dist-upgrade in order to install one of the > packages already fetched. apt-get install ignored the newly-fetched > package and downloaded it again. This is a bug with your server, proxy, or otherwise. Jason