libghc-highlighting-kate-dev_0.6-2_amd64.deb has incorrect size; deleting it libghc-highlighting-kate-prof_0.6-2_amd64.deb has incorrect size; deleting it Greetings, Your Debian queue daemon (running on host franck.debian.org)