Paul Wise <pabs@debian.org> writes: > Sounds like you are looking for chdist: [...] I knew someone must have done the work already :-). Both chdist and pull-debian-source seem to do exactly what I need, thanks! Now there's just the difficult decision which one to use.. Best, -Nikolaus -- »Time flies like an arrow, fruit flies like a Banana.« PGP fingerprint: 5B93 61F8 4EA2 E279 ABF6 02CF A9AD B7F8 AE4E 425C