On Mon, Dec 15, 2003 at 05:01:13PM -0200, Marcelo Chiapparini wrote: > However, packages.debian.org is still down, isn't? Yes (irrelevantly to the original post, though). -- Colin Watson [cjwatson@flatline.org.uk]