Hi! Just to share the joy: http://packages.debian.org/ came to live again! Thanks for everyone working on that! Cheers, GCS