On Mon, 2005-05-09 at 22:36 +0200, Gérard Milmeister wrote: > Wouldn't it be better if the debuginfo packages were in a seperate > (sub)repository? yes, it's a bug in the push script I wrote. I'll correct it tonight. -sv