On Sun, Dec 31, 2000 at 03:40:41PM +0100, Peter Palfrader wrote: > > Again there is a pointer from packages.debian.org, but the deb is not > > in the directory pointed to. > > Seems like packages.debian.org is broken then. If it's not reportet yet, > maybe someone should do. It is! Several times! -- Digital Electronic Being Intended for Assassination and Nullification