"Iain R. Learmonth" said: >[2]: http://pet.debian.org/ That hostname does not resolve for me. I had to use http://pet.debian.net which redirects to http://pet.alioth.debian.org/ -- Steve Kostecke <steve@debian.org>