Hi Raphael, > would still be nice to see what it involves to actually update the > Packages* files when we want to remove a source package.
Indeed. I had a poke but I'm afraid I'm not terribly «au fait» with that part of dak and related infrastructure… Thorsten, do you have any pointers or ideas? Best wishes, -- ,''`. : :' : Chris Lamb `. `'` la...@debian.org / chris-lamb.co.uk `-