The problem seems to have disappeared with apt version 0.1.10
- Bug#31833: apt does not upgrade Francesco Potorti`
- Bug#31833: marked as done (apt does not up... Francesco Potorti`
- Bug#31833: marked as done (apt does not up... Debian Bug Tracking System
