It appears there is a patch for this bug: http://bazaar.launchpad.net/~ubuntu-core-dev/apt/ubuntu/revision/1688 Would it be reasonable to apply it to Debian's apt? David