It seems that this bug and the bug #519469 are the same http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=519469 Both arise because apt installs and suggest removing a package. We should merge 517202 519469 Regards, Marco -- http://bodrato.it/papers/