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
`. `'` lamby@debian.org / chris-lamb.co.uk
`-