ppmserverが内部的に利用しているxmlファイルがいささか大きくなってきたせいではないかと睨んでいるのですが、この数日の更新のせいでbuild 817以前用の検索／インストールに障害が発生していたようなので、内部データ／アーカイブ等をとりあえず問題なさそ…