divx player

[Matthew Yee-King]

Hello there

I'm looking for a divx player for powerpc debian linux. 

should i try mplayer? I get the impression that divx decoders are only 
available in binary i386 form - is this correct?

cheers

matthew