Hi, As I wrote a patch as https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=891404#31 archived old debian releases just use http://archive.debian.org as default, so it's not necessary to add it to manpage. -- Regards, Hideki Yamane henrich @ debian.org/iijmio-mail.jp