broken debian packages on ktown

[Dirk Mueller]

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