On Wed, 17 Oct 2001, Gergely Nagy wrote: > I think apt-get does it correctly. For the package is already > downloaded (it is installed, a few steps further), and as there is no > newer version, there's no point in downloading it. If you want to get > the .deb, you can use the --reinstall option to apt-get, or you can > take a look at the dpkg-repack utility. Sounds fair Jason