Pocket DivX

シグスレで依頼があったので>>297の状態のものを置いときます。
http://www.age.jp/~k-matsu/CE/PocketDivXPlayer/PocketDivX8k-alphaMIPSHPC2000.zip
例によってノークレーム(等、>>295と同様)でお願いします。
現状ではoggプレイヤーにする以外に使い道はないとは思いますが…

後、ひとまずこれで作業を打ち切ります。
というか、打ち切ると言おうが言うまいが既に大して変わらない状況ですし（;´Д｀）