It took a while, due to holidays and ssh key problems, but the 10.3.5 database for Package Manager is finally online. Sorry for the delay, -- Jack Jansen, <Jack.Jansen at cwi.nl>, http://www.cwi.nl/~jack If I can't dance I don't want to be part of your revolution -- Emma Goldman