Hi, could whoever uploaded the current debian pool run "update" and upload the result? right now the Packages files are not there, which is rather useless.. Dirk